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