Kernal Facilities Definition, Kernel Version 3.0

This document defines the functionality of the Distributed Ada Real-Time Kernel hereafter called the Kernel. The Kernel is being developed as one artifact of the Distributed Ada Real-Time Kernel Project hereafter called the project. The goal of the Kernel is to support effectively the execution of the distributed Ada applications in an embedded computer environment. The Kernel provides uses with support for language functionality i.e., the ability to execute Ada programs in a distributed, real-time environment it does not provide support for language features i.e., Ada tasking primitives. As a result, the Kernel specification places certain requirements restrictions and conventions on the Ada application programs that use the Kernel. These will become apparent to the reader as the definition of the Kernel is expounded. This document is divided into three parts 1 Kernel Background describes the models on which the Kernel is based and outlines the scope of its capabilities 2 Requirements describes the functionality and performance required of the Kernel and 3 Kernel Primitives describes the mechanisms and primitive capabilities the Kernel provides to implement the requirements. kr