Small, fast, and formally verified. The kernel handles only the absolute essentials: scheduling, IPC, and address spaces.
What runs in kernel mode.
O(1) Preemptive. A realtime-capable scheduler designed for low latency. Supports thread migration and CPU pinning for HPC workloads.
Scheduling Logic →Capability Paging. Userspace tasks manage their own page tables via capability delegation, removing the kernel from the critical path of allocation.
MMU Design →HAL. A minimal hardware abstraction layer that unifies x86_64, ARM64, and RISC-V interrupt handling and timer management.
Porting Guide →