Funded by ESA/ESTEC, EC FP7, and the Spanish R&D&i plan



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, an Ada tasking profile for high-integrity systems.

ORK was originally developed under ESA contract, based on Ada 95 and targeted to ERC32 computers. The current version, ORK+, is written in Ada 2005 and runs on bare LEON computer boards and on XtratuM for LEON.