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