Osiris

An RTOS designed and verified to enable reliable software updates and operation for embedded systems.

Project Structure

Directory	Description
kernel/	This is the actual kernel of osiris. It is a hardware independent layer providing scheduling, memory management, etc.
machine/	This contains all the HALs and hardware specific code in general. It exports a hardware independent interface to the kernel.

Build

Build Dependencies

• Rust: A recent version of the Rust toolchain.
• Just: A command runner, used for all project tasks.
• ARM Toolchain: arm-none-eabi-gcc (version 13+ recommended).
• CMake: Version 3.28 or newer.
• Clang: Used as the C/C++ compiler.
• Python: Version 3.12 or newer, with pip and venv.
• pyelftools: For injecting runtime symbols into the ELF file.
• Kani: A recent version of the Kani Rust Verifier.

Development & Debugging Tools

These tools are used for flashing, debugging, and other development tasks.

• stlink (Fork): For flashing and debugging on STM32 hardware.
• arm-none-eabi-gdb: The GNU debugger for ARM targets.
• cargo-binutils: Provides objdump, objcopy, etc. for Rust.

Quick Start

Configure the build.

Configure all build components. The configuration is stored in .cargo/config.toml as environment variables with the OSIRIS_ prefix.

$ just config

or load a preset via:

$ just config load <preset_name> [--no-confirm]

if you want to reset the configuration run:

$ just config clean [--no-confirm]

Build the kernel.

Build the kernel for your target architecture. The target triple selects the top-level HAL (e.g., ARM). Select the specific machine HAL via the configuration tool.

$ just build <target-triple>

After the build a binary named Kernel.bin will be created at the source root folder.

Set up pre-commit hooks

$ just hooks

License

Osiris is distributed under the terms of both the MIT license and the Apache License (Version 2.0).

See LICENSE-APACHE and LICENSE-MIT for details.

Contributing

Read the CONTRIBUTING.md before submitting a pull request or otherwise contributing to this repository.

Contact

Osiris was created and is maintained by Thomas Wachter (@thomasw04).