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