Download GNAT/ORK+ for Xtratum / LEON3

The current release is GNATforLEON 2.3.0-XtratuM

This version is based on the GNAT GPL 2011 compiler. It is targeted to XtratuM 3.3 on a LEON3 processor.

• First read the README file.
• Binary distributions for ix86-linux host:
  • GNATforLEON 2.3.0 - XtratuM 3:
    gnatforleon-2.3.0-xtratum-3-i686-pc-linux-gnu-bin.tgz
• Source distribution
  • GNAT/ORK+: gnatforleon-2.3.0-xtratum-3-src.tar.gz
• Documentation
  • GNAT for LEON / ORK+ User's manual (PDF)
• Examples

See also the additional documentation.

The XtratuM hypervisor is not included in this distribution. Please contact Fentiss to get a copy.

A LEON simulator is needed if you do not have a real target platform. We are currently using the TSIM simulator to run executable programs for LEON3. You can find TSIM versions for several platforms on the TSIM home page.