Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

Gnat Pro – Designed for the Ada Professional

Supported Platforms

GNAT Pro has been ported to more platforms, both native and embedded, than any other Ada technology. The choice of future configurations is based on customer demand. If you are interested in a configuration not currently listed here, please feel free to contact us to discuss possible solutions.


Native platforms

Linux

  • x86 GNU Linux (32 bits)
  • x86-64 GNU Linux (64 bits)
  • PowerPC GNU Linux (32 bits)
  • HP Integrity Itanium GNU Linux
  • SGI Altix Itanium GNU Linux

Solaris

  • SPARC Solaris (32 bits)
  • SPARC Solaris (64 bits)
  • x86 Solaris/Trusted Solaris (32 bits)

Windows

  • x86 Windows (32 bits)
  • x86-64 Windows (64 bits)
  • .NET on Windows

Mac OS X

  • x86-64 Mac OS X (64 bits)

HP-UX

  • Itanium HP-UX

OpenVMS

  • Alpha OpenVMS
  • Itanium OpenVMS

AIX

  • PowerPC AIX (32 bits)

Cross platforms

Embedded Linux

  • x86 ELinOS (hosted on Linux)
  • PowerPC ELinOS (hosted on Linux)

LynxOS

  • PowerPC LynxOS 5.x (hosted on Linux)
  • x86 LynxOS 5.x (hosted on Linux)
  • PowerPC LynxOS 4.x (hosted on Solaris)

VxWorks 6.x

  • PowerPC VxWorks 6.x (hosted on Linux)
  • PowerPC VxWorks 6.x (hosted on Windows)
  • PowerPC VxWorks 6.x (hosted on Solaris)
  • PowerPC e500v2 VxWorks 6.x (hosted on Linux)
  • PowerPC e500v2 VxWorks 6.x (hosted on Windows)
  • PowerPC e500v2 VxWorks 6.x (hosted on Solaris)
  • x86 VxWorks 6.x (hosted on Linux)
  • x86 VxWorks 6.x (hosted on Windows)
  • x86 VxWorks 6.x (hosted on Solaris)

VxWorks 5.x

  • PowerPC VxWorks 5.x (hosted on Windows)
  • PowerPC VxWorks 5.x (hosted on Solaris)

Certified VxWorks

  • PowerPC VxWorks 6.x/Cert (hosted on Windows)
  • PowerPC VxWorks 6.x/Cert (hosted on Linux)
  • PowerPC VxWorks 653 (hosted on Windows)
  • PowerPC VxWorks MILS (hosted on Windows)
  • PowerPC e500v2 VxWorks MILS (hosted on Windows)

Bare Boards

ELF format

  • PowerPC ELF format (hosted on Windows)
  • PowerPC ELF format (hosted on Solaris)
  • PowerPC 55xx and e500v2 ELF format (hosted on Windows)
  • ERC32 ELF format (hosted on Linux)
  • ERC32 ELF format (hosted on Solaris)
  • LEON 2 ELF format (hosted on Windows)
  • LEON 2 ELF format (hosted on Linux)
  • LEON 2 ELF format (hosted on Solaris)
  • LEON 3 ELF format (hosted on Linux)
  • AVR microcontroller ELF format (hosted on Windows)