MakopaOS · Engineering note

From boot sector to explicit kernel authority

The retained BIOS example is now accompanied by a freestanding Rust kernel and thin UEFI loader. Fixed workloads exercise task isolation, capability-mediated IPC, a bounded approval broker, and a supervisor-readable effect journal.

The retained BIOS example is now accompanied by a freestanding Rust kernel and thin UEFI loader. Fixed workloads exercise task isolation, capability-mediated IPC, a bounded approval broker, and a supervisor-readable effect journal.

Follow the evidence

Explore MakopaOS

Read source evidence ↗ (opens in a new tab)