High-Assurance Sovereign Microkernel Active
KELLER-OS
Deterministic supervisory microkernel written in bare-metal Rust. Enforces absolute hardware memory isolation, cryptographic capability delegation, and deterministic execution scheduling.
cargo build --target x86_64-unknown-none --release
no_std
Pure Bare-Metal Rust Kernel
< 400ns
Context Switch Latency
Hardware MPU
Strict Memory Domain Isolation
Zero Dynamic
Deterministic Static Allocation
Hardware Memory Domain & Capability Isolation Simulator
Simulate untrusted userspace task execution and verify the kernel hardware memory protection boundary prevents unauthorized ring access.
User Task Boundary
KELLER-OS Capability Supervisor
Protected Hardware Peripheral
[21:15:00] [KELLER-OS] KELLER-OS microkernel boot sequence complete. Memory Protection Unit (MPU) active.