Customer Added Value
GNAT-Pro with Ravenscar profile, fully tested on PikeOS 4.2 and 5.0 native (tested and available on ARMv7, PPC 32bit, ARM v8 on demand after 3 months)
GNAT-Pro with zero footprint profile, supported as bare metal available off the shelf for PikeOS 5.0 and 4.2 (for example for APEX)
“GNAT-Pro Cross Linux” is available for ELinOS 6.2 (awareness on Linux is depending on the version of GLibC)
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore's flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology, including the SYSGO ELinOS Industrial Grade Linux product. Use of Ada and GNAT Pro continues to grow, especially in high-integrity and safety-critical applications, including commercial and defense aircraft avionics, air traffic control, railroad systems, financial services and medical devices. AdaCore has North American headquarters in New York and European headquarters in Paris.