xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 42fb5b2e937d68f731e8e01a49f0da0760772674)