Home | Contact | Pricing | News | 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

GNU Linux

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

Solaris

  • Sparc Solaris (32 bits)
  • UltraSparc Solaris (64 bits)

Solaris/Trusted Solaris

  • x86 Solaris/Trusted Solaris (32 bits)

Windows

  • x86 Windows
  • .NET on Windows

Java VM

  • Java Virtual Machine on Windows

RTX

  • RTX for Windows

Mac OS X

  • x86-64 Mac OS X (64 bits)
  • PowerPC Mac OS X

HP-UX

  • PA-Risc HP-UX
  • Itanium HP-UX

Tru64

  • Alpha Tru64

OpenVMS

  • Alpha OpenVMS
  • Itanium OpenVMS

IRIX

  • MIPS IRIX

AIX

  • PowerPC AIX (32 bits)

LynxOS

  • x86 LynxOS

Cross platforms

Embedded Linux

  • x86 ELinOS (hosted on GNU Linux)

Nucleus OS

  • ARM Nucleus OS (hosted on Windows)

LynxOS

  • PowerPC LynxOS (hosted on Solaris)

VxWorks 6.x

  • PowerPC VxWorks 6.x (hosted on GNU Linux)
  • PowerPC VxWorks 6.x (hosted on Windows)
  • PowerPC VxWorks 6.x (hosted on Solaris)
  • x86 VxWorks 6.x (hosted on GNU 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)
  • x86 VxWorks 5.x (hosted on Solaris)

VxWorks 6.x/Cert

  • PowerPC VxWorks 6.x/Cert (hosted on Solaris)

VxWorks/Cert

  • PowerPC VxWorks/Cert (hosted on Windows)
  • PowerPC VxWorks/Cert (hosted on Solaris)

VxWorks 653

  • PowerPC VxWorks 653 (hosted on Windows)
  • PowerPC VxWorks 653 (hosted on Solaris)

VxSIM 653

  • x86 VxSIM 653 (hosted on Windows)

Bare Boards

ELF format

  • PowerPC ELF format (hosted on Windows)
  • PowerPC ELF format (hosted on Solaris)
  • PowerPC 55xx ELF format (hosted on Windows)
  • ERC32 ELF format (hosted on GNU Linux)
  • ERC32 ELF format (hosted on Solaris)
  • LEON ELF format (hosted on GNU Linux)
  • LEON ELF format (hosted on Solaris)
  • AVR microcontroller ELF format (hosted on Windows)