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)