LynxOS-178 RTOS Kernel Image and Configuration

The LynxOS®-178 RTOS has two configurations: a certifiable production configuration for the delivery of safety-critical software and a powerful development RTOS configuration enhanced with development tools to accelerate product time-to-market.

1. RTOS: LynxOS-178 real-time operating system
2. RTOS for industry standards: DO-178B, POSIX and ARINC 653
3. Secure RTOS partitions
4. RTOS architecture
5. >>Configuration and RTOS kernel image
6. FAA-accepted Reusable Software Component (RSC) for DO-178B

• LynxOS-178 RTOS PDF brochure (142 kB)
• ARINC and POSIX for Safety-Critical Applications PDF brochure (1.04 MB)

LynxOS-178 RTOS production configuration

The production configuration of the LynxOS-178 RTOS has a feature set that has complete DO-178B artifacts and traceability for level A certification of the LynxOS-178 kernel and libraries.

LynxOS-178 RTOS development configuration

The development configuration (a superset of the production configuration) has additional features that assist in application development and debugging on LynxOS-178:

• More kernel features—TTY, ptrace, skdb, and CodeTEST hooks, for example
• Shells and utilities—Bash, TFTP application, zmodem, ps, gzip, high water mark utilities, and additional file system utilities such as ls, cat, mkdir, copy, and rm
• Debuggers—Standard gdbserver
• Additional device drivers, such as SCSI drivers

Note that these additional features do not have supporting DO-178B artifacts and are intended for use during development only.

Virtual Machine Configuration Table (VCT)

The VCT contains configuration information to create VMs within LynxOS-178. Each VCT also contains a Virtual Machine/partition configuration profile for each software application. This information is used to allocate system resources to the application software, defining a valid configuration of the target system as determined by the user. The VCT contains information based on the set of applications loaded on the target system.

Kernel Downloadable Image (KDI)

A LynxOS-178 RTOS Kernel Downloadable Image (KDI) is a single downloadable image containing the LynxOS-178 RTOS and a file system. The file system is a UNIX®-style root file system with a POSIX API. It contains the minimum system software necessary for cinit to complete its initialization tasks. It also contains file system mount points for all other file systems used by any VM (Virtual Machine). A RAM disk is created on /mnt and mounted for each VM partition.

All file systems specified in the VCT (Virtual Machine Configuration Table) are mounted in directories created on the RAM disk. Read-write file systems are mounted only for the VM partition that owns the file system. Read-only file systems are mounted for all partitions. This way, the read-write file systems are visible to only the VM partition that owns the file system, and read-only file systems are visible to all VM partitions.

on the LynxOS-178 RTOS tour: FAA acceptance of Reusable Software Components (RSC)