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