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