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