The design and implementation of the open Ravenscar kernel
Juan A. de la Puente, Juan Zamorano, José Luis Ruiz, Ramón Ángel Fernández Díaz, Rodrigo García · ACM SIGAda Ada Letters · 2001
This paper describes the design and implementation of Open Ravenscar Kernel (ORK), an open-source real-time kernel of reduced size and complexity, for which users can seek certification for mission-critical space applications. The kernel supports Ada 95 tasking on an ERC32 (SPARC v7) architecture in an efficient and compact way. It is closely integrated with the GNAT runtime library and other tools.