xref: /optee_os/core/arch/arm/kernel/sub.mk (revision 9e84c17ecf4d7781944dc7d359db9c49d13c23ff)