xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 26280f0256b6f3aa0f333bb9b89b0b75a55c82d6)