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