Nexus OSThe Sovereign OS Factory

Build, prove, and own deterministic operating systems from signed recipes. From sensors to satellites. Every artifact has provenance. Every boot is auditable.

Try in 5 Minutes

Build an Image

Browse Packages

🚀

Try Nexus

Run a sovereign OS in 5 minutes. No hardware required. QEMU, curl, and you're in. See NexShell, verify artifacts, and review current proof status.

🔨

Foundry

Pick an edition, add drivers, set constraints, and forge a signed, reproducible image. Recipe → build → sign → deploy. Deterministic every time.

🏪

Sovereign Bazaar

Signed, reproducible, content-addressed packages. Inspect the recipe. Rebuild the binary. Trust badges for signed, audited, no-heap, air-gap ready.

🔩

Kernel — Rumpk

A 280KB unikernel that never dies. Event-driven, tickless, single-address-space. 12 syscalls. Crash a driver, restart in 2ms. The kernel survives.

💾

Storage — NexFS

Dual-axis filesystem with content-addressable storage, DAG versioning, and TimeWarp snapshots. From flash chips to federated mesh networks.

🌐

Network — Membrane

TCP/IP lives in userland, not the kernel. The kernel is a dumb L2 switch. If curl crashes, only curl dies. Sovereign UTCP transport for Nexus-to-Nexus traffic.

🛡️

Security — Capability Algebra

Seven verbs. Law of Decay. Kinetic economy. OpenBSD-style pledge/unveil enforced at hardware level. Every artifact signed, every boot logged to ProvChain.

📦

Packaging — nip

Universal package manager that grafts Linux, BSD, Nix, and Windows payloads into sovereign packages. NipCells isolate foreign worlds; Nexters replace Docker.

🖥️

Display — Surface Manager

Sovereign compositor with zero-copy rendering, 120Hz Photon scheduling, and a visual filesystem HUD. Plan 9 Rio model, not X11 baggage.