Daxo OS
Build your own operating system. From bare metal to user space.
Key Features
🧠 Microkernel
Minimal TCB with hardware privilege separation (Ring 0 / Ring 3).
⚡ Async Executor
Cooperative multitasking using Future and Waker.
💾 ATA & File System
PIO disk driver coupled with a lightweight FAT-like file system layer.
✅ Formal Verification
Frame allocator proved correct in Lean 4.
Latest News
- Simple FAT-like File System Integration – August, 2026
- Transition to Ring 3 – User space isolation – August, 2026
- ATA driver deep dive: polling vs interrupts – July, 2026
- Formal verification of the frame allocator – June, 2026