Kernel

The Deos Kernel product includes the kernel itself (provides low-level operating system services, e.g., scheduling, memory management, and communication), workstation tools used with the kernel, examples demonstrating various aspects of the kernel API, and target-side kernel helper utilities.

Select a component to see open PCRs in that component.

Component Default Assignee
API-test .Kernel
Kernel testing infrastructure such as the tester's kit, the test PAL, etc.
benchmark .Kernel
Kernel performance benchmark tests. Component DO-178C Classification: UDT
Configuration-Verification-Tool .Kernel
The qualifiable tool to verify the generated kernel configuration (registry) file is correct. Component DO-178C Classification: TQL-4
crittime-tool .Kernel
The crittime tool. This tool runs on the user's workstation. Component DO-178C Classification: UDT
deosname .Kernel
Shared library that maps kernel handles into ASCII names. Component DO-178C Classification: DAL-E
examples .Kernel
Examples provide working demonstrations of various kernel APIs. Component DO-178C Classification: DAL-E
hypstart .Kernel
The Hyperstart image building utility. This utility runs on the user's workstation. Component DO-178C Classification: UDT
Kernel .Kernel
The Deos™ kernel. Component DO-178C Classification: DAL-A
kfs-cvt .Kernel
KFS checker tool. Component DO-178C Classification: TQL-4
Multicore-examples-obsolete .Kernel
This component has been moved into examples. Component DO-178C Classification: DAL-E
RegChk .Kernel
The OBSOLETE kernel registry checker, i.e., the one that ran on a Deos target machine.
regchk-python .Kernel
The kernel platform registry checker. A qualifiable verification tool. This is the "current" tool, namely the python implementation. Component DO-178C Classification: UDT