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