Getting started

Prerequisites

• Rust nightly
• cargo
• QEMU (for testing)
• Cross targets: x86_64-unknown-none, aarch64-unknown-none

Boot in QEMU (x86_64)

git clone https://github.com/pro-utkarshM/axiomOS
cd axiomOS
cargo run

This builds the kernel, packages an ext2 rootfs, and boots under QEMU with a serial console. You should see boot logs, the scheduler come up, and the shell.

Build for Raspberry Pi 5

./scripts/build-rpi5.sh release --features embedded-rpi5

The script produces kernel8.img — copy it to a FAT32 boot partition along with config.txt from the repo and boot. A Pi Debug Probe attached to UART0 gives you the serial console at 115 200 baud.

What to read next

• Architecture — how the pieces fit together
• Verifier — what proves your bytecode safe
• The full repo at github.com/pro-utkarshM/axiomOS