Существует компилятор ada GNAT , который можно использовать для ARM. Например, существует пакет GNAT для Debian (linux) для ARMel: http://packages.debian.org/squeeze/gnat
Существует даже версия GNAT от партнера ARM AdaCore, названная GNAT Pro: http://www.arm.com/community/partners/display_product/rw/ProductId/5620/
IBM Rational Ada Embedded работает только для MIPS, M68K, x86, RH-32, может быть SPARC.
Irvine ICC Ada работает только для x86; СПАРК; TI DSP C62xx / C64xx / C67xx; PowerPC 5xx, 6xx, 7xx; Intel i960; Intel i960; ADSP-210x0 SHARC DSP.
Green Hills Ada95 работает только для: Power, 68k, CPU32, MIPS, x86, SPARC (документы)