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)