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