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