AdaCore provide a compiler
(running on Windows and Linux) targeted to ARM
(target arm-eabi) and a runtime system (RTS) supporting
the Ravenscar
profile.
The public version of the AdaCore Ravenscar RTS is released under
the
full GPL. It
seemed as if it would be a good idea (and fun!) to produce an
independent RTS with
the GCC
Runtime Library Exception
(FAQ).