xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 733a15f2900f2295f01817bb84341e29763a1753)