GNAT Pro

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

Java VM

  • Java Virtual Machine on Windows

RTX

  • RTX for Windows

Mac OS X

  • x86-64 Mac OS X (64 bits)

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)

Cross platforms

Embedded Linux

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

PikeOS

  • PowerPC PikeOS (hosted on Windows)
  • PowerPC PikeOS (hosted on Linux)

Nucleus OS

  • ARM Nucleus OS (hosted on Windows)

LynxOS

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