The OpenRavenscar Project at DIT/UPM
The Open Ravenscar Real-Time Kernel (ORK+) is an open-source real-time kernel of reduced size and complexity, which can be used to develop high-integrity real-time applications in a subset of the Ada 2005 language compatible with the Ravenscar Profile, a subset of Ada tasking for high-integrity systems.
ORK was originally developed under ESA contract, based on Ada 95 and targeted to ERC32 computers. The current version, ORK+, supports the Ada 2005 standard, and has been developed as part of UPM's work in the ASSERT project.
ORK+ is integrated with the GNAT GPL 2008 compilation system, developed by AdaCore. The kernel and a modified runtime library are packaged together with the compiler and other tools into a comprehensive package called GNATforLEON, which can be downloaded from this site. The compilation chain tools are hosted on PC/GNU Linux workstations, and generate code for LEON2 computer boards.
Download GNAT/ORK+ for LEON
ORK+ is written in Ada. It is free software, and is distributed under a GPL license, which allows you to freely run, copy, distribute, study, change and improve the software. The GPL does not allow you, in turn, to remove these freedoms from other users.
If you are interested in a professional license please contact us.