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