Built a bare-metal Rust OS with runtime-programmable kernel behavior - AxiomOS
Hey everyone,
I’ve been working on AxiomOS, a bare-metal operating system written in Rust for robotics and embedded systems.
The core idea is: instead of reflashing firmware every time kernel behavior needs to change, AxiomOS lets you load verified eBPF programs into the kernel at runtime and attach them to kernel hooks.
That means things like:
custom syscall hooks
timer-driven logic
GPIO-triggered behavior
runtime policy changes
…without rebooting or recompiling the kernel.
It currently runs on Raspberry Pi 5 and QEMU, with work going into the scheduler, memory subsystem, and expanding hardware support.
Would love feedback from people here-especially around:
kernel architecture decisions
eBPF runtime/verifier design
real-time scheduling
Rust in OS development
GitHub / docs:
Happy to answer any questions 😄