bootstrap
One command. One operating system.
Generate complete, freestanding C17 kernel code.
$
L0-L3 Kernels
From minimal boot entry to full microkernel with IPC.
Memory Allocators
Bump, pool, slab, or buddy - choose your strategy.
Schedulers
Round-robin or priority preemption.
FONK Verified
Cryptographic commitment proves code-to-spec correspondence.