xref: /optee_os/core/arch/arm/arm.mk (revision 7215f52de31c2803716c742189f7332e0324573e)