xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 2ff86f603222e5cbc428660130d9896d89a88f59)