xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 0dcea1a38aa367ed8089fa56bf23d0860a88d4a1)