GitHub Repository

Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

9 starsRust

CambiOS – a new Rust-based, sovereign identity, zero-trust OS

Name: CambiOS – a new Rust-based, sovereign identity, zero-trust OS
Availability: InStock
Author: jasonricca

by jasonricca·Jun 11, 2026·8 points·0 comments

Visit Project View on HN

AI Analysis

●MidBold BetShip It

Ambitious Rust microkernel OS, but seL4 and Redox already own the verification-ready space.

Strengths

•Capability-based security with cryptographic identities on every IPC message
•Rust microkernel isolates drivers in user-space to prevent kernel crashes
•Honest STATUS.md acknowledging early-stage limitations and roadmap

Weaknesses

•Only 3 stars, 0 forks with minimal evidence of working beyond QEMU
•Sovereign hardware vision is aspirational with no concrete path forward

Post Description

I've been working on this for a couple of years and coding earnestly for months. Would love to get your human eyes on it. Looking for feedback and would LOVE to find collaborators. I saw a hole in the OS landscape and am working to close it - the closest other alternative I could find is Google's Fuschia (not sovereign by any stretch.) Anyway - I'm Jason, here for questions if they come up.. cheers!

More info here: https://coherentforge.com/cambios

Similar Projects

Infrastructure●Mid

Agntor – Trust infrastructure for AI agents (identity, escrow, guard)

The SDK exposes the exact primitives you want for autonomous-agent commerce: register/resolve identity, attest and badge verification, create/fund/cancel escrows, release/slash settlements, and reputation queries — plus event hooks. It's a smart, timely idea to stitch payments and trust into agent URIs, but the repo still reads like an early SDK: docs and integration examples are thin and there's no clear public security/settlement audit or adoption evidence yet.

Bold BetNiche Gem

zeshama

214mo ago

Security●●●Banger