Ada support is now available on embedded ARM processors running Linux for safety critical code development. AdaCore has developed a cross-development environment for the latest 2012 version of the Ada ...