RTOS

A lightweight real-time kernel written in C for embedded guidance, navigation, and control (GNC) systems.

Building

Configure the build:

cmake --preset host

Build the project:

cmake --build build/host

Available Presets

Preset	Target
host	Native host simulation

You can also run:

./make.sh