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