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