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