sigilOS is a capability-secure operating system written entirely in the Sigil language — no C, no ambient authority, no trust by default. Every resource access is a held capability, enforced at the hardware seam by the MMU. Contracts are proven statically — safety is verified before the code runs, not trusted at runtime.
GPU-first compositor, zero-copy IPC, SIMD tiers, near-native dynarec for retro workloads.
Pi 3 / 1 GB floor always works. One HAL, two backends. No fat runtime or libc.
Capability boundary at the hardware seam — runtime caps + the MMU. No ambient authority.
Fault-isolated processes, auto-restart, verified TCB. Byte-reproducible bootstrap seed.
1.0 just got scoped to ARM only, which makes it faster to reach. Real QEMU caught a codegen bug that silently gives wrong answers on ARM while passing clean on x86. A signing root-of-trust mixup got caught twice before it shipped.
App-signing closed. The installer closed. The kernel security domain closed. The security gate narrowed to a single item in flight. All three V3D boards staged one step from a real GPU triangle. An honest read on how close 1.0 actually is.
A distributed-review experiment stalled for a dozen cycles, and every affected agent held their PRs rather than self-merge crypto and OOB-class code without sign-off. Director stepped in as reviewer of last resort. Plus: the desktop-metal milestone survived a reboot, and gate #2 stopped being ambiguous.
One safe language and one image that carry embedded rigor, verified security, and a real desktop at once — a fit no incumbent fills. We're honest about where we lead on real hardware today and where we don't. See the industry packets → Press or investor? Grab the media kit →
Medical, avionics, defense, industrial. Memory-safe by construction, capability-isolated, and provable before it runs — the properties certification exists to establish, built into the substrate. On metal today; pre-certification, and honest about it.
Appliances, gateways, sensor nodes. A 1 GB Pi-3 floor, one image that scales, capability-isolated peripherals, and a self-healing bootloader that fetches the driver it needs. No fat runtime, no ambient trust.
Forge packs, verifies, and runs retro systems with capability-sandboxed cores and a signed Relic format — on your desktop and on a Pi. The beachhead you can download and run today.
AI-native, effect-typed, contract-carrying, self-hosting. For programmers who want memory safety, provable contracts, and no ambient authority — in one language, with the metal underneath.
Not RDP. Not VNC. A capability-secured kernel transport lane. GPU-delta, pixel-perfect, network-bottlenecked. Mode-1 pixel stream + Mode-2 rollback netplay. SRDX-NET-RT-PASS proven. Syscalls 109–116.
From Fairchild Channel F (1976) through WASM-4 fantasy carts — run cap-sandboxed as EL0 apps. Save-state ABI + thumbnails. Xbox One BT + hotplug. 3-state BIOS manager. Rewind + scanline. ROM library + Smart Folder navigation. On a Pi 3.
One file. One game. Capability-secured. Forge packs ROMs + BIOS + saves into a Relic — a self-contained, verified container. forgery_verify.sg gates every launch. .ness / .sfcs / .zips.
Cap-native multi-process browser. Per-tab EL0 isolation. Live cap inspector. Structural private mode. SRDX tabs. Honest extension zone. 0.7.0 sprint.
Run Lumen — or Lumen-like apps — on macOS, Windows, Linux & web. Portable, 3D-accelerated windowing; every window flips between a GUI face and a real CLI. All-Sigil core, one C ABI, bindings for every language. @grio flagship RFC — Forge cross-platform first, 1.0 stays the priority.
Meet the fleet that builds sigilOS — a Director who conducts, a Raspberry-Pi hardware oracle with final say, a compiler that gates every build, and the domain agents for kernel, drivers, video, FS, apps, OS, and gaming. Plus the hierarchy and how we work.
sigilOS vs QNX · LynxOS · FreeRTOS/Zephyr · seL4 · Linux · Windows · macOS. A dimension-by-dimension difference model — and the niche no one else fills: cap-secure-by-construction + verified-TCB + hard-RT + AI-desktop + Pi3→workstation + open, all at once.
SRDX is sigilOS Remote Desktop eXchange — the OS's own capability-secured, kernel-native remote-desktop protocol. It streams the Lumen desktop pixel-perfect over a dedicated kernel transport lane (not RDP, not VNC), auto-negotiating SRDX first and falling back to RDP/VNC for any other client. See Features → SRDX for the proof chain, the viewer, and the technical deep-dive.
8-section ✅/🔲/🚫 table of web platform features vs Chrome. Intentional omissions called out explicitly.
The pitch — capability model, all-Sigil, Pi 3 floor, rolling milestones.
Kernel HAL · VFS · WM · net stack · driver model — the whole map.
The ratified file model — no physical folders, tag-driven, cap-scoped queries.
Capability security · the Four Pillars · real TLS 1.3 · content-addressed dedup · SigDB · the font subsystem · Smart Folders · multi-arch scale-with-hardware.
0.5 desktop ✅ · 0.6 all-3-Pi metal desktop ✅ (first git tag) · 0.6.x interactive + SRDX clients ◀ now → 0.7 web → 1.0 arch-gate → 2.0 local-AI. Rolling milestone releases.
Why Sigil, language reference, capability model in-language, writing Sigil.
Every shipped milestone — features, proofs, image artifacts.