GNATforLEON/ORK+ documentation

Operation Manual

• GNATforLEON/ORK+ User's manual, version 1.3
• Older versions

Device drivers

• Guidelines for integrating device drivers
  Includes a description of the GR-SpaceWire driver
• GR-UART driver

Related documents

LEON2 processor

• User manual:
  • Version 1.0.30 (July 2005)
• Data sheets:
  • AT697E
  • Summary
  • Errata
• SPARC architecture:
  • The SPARC Architecture Manual Version 8
  • SPARC System V ABI supplement

Ravenscar profile

• Ravenscar Profile Users' Guide
• Guide for the use of the Ada programming language in high integrity systems
• Ada 2005 language Reference Manual