xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 1f09fc53c50bffbc9cc7c2f4809081455f7a10e0)