CambiOS
a new Rust-based, sovereign identity, zero-trust OS
Details
- External ID
- 48491529
- Source
- HN
- Company
- —
- Product
- CambiOS
- Website domain
- github.com
- Launched
- June 11, 2026
- Cohort
- —
- Upvotes
- 8
- Upvotes percentile
- 0.4952185792349727
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:26 p.m.
- Updated at
- Sept. 7, 2026, 9:26 p.m.
Description
Hello HN,What is CambiOS?A microkernel OS built in Rust, that boots in QEMU under x86_64, AArch64, and RISC-V - targeting formal verification. Processes are assigned unforgeable cryptographic identity and IPC gates access to only allowed endpoints.What does it want to be? Ambitious. Cutting away latent security issues, corporate surveillance, centralized identity and data hosting, and OPEN. With the advent of the coding tools, building the things we want is a bit less of a lift. Could it replace Windows? Sure. That's where the idea was born.Secure and intuitive, in a nutshell.I've been working on this for a couple of years and coding earnestly for months. 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.)I'm Jason, here for questions if they come up.. cheers!More info here: https://coherentforge.com/cambios
Enrichment
- Theme
- self-hosted infrastructure and security tools
- Vertical
- Security
- Function
- Hardware & robotics
- Audience
- B2C
- AI stance
- Not AI
- Project type
- Commercial product
- Normalized one-liner
- sovereign identity rust-based zero-trust os
- Manually corrected
- False
Could you build this?
No Creating a microkernel operating system in Rust that targets formal verification across x86, ARM, and RISC-V with custom capability-based IPC requires elite low-level OS architecture skills.
What it would actually take: The system requires bare-metal Rust implementing bootloaders, page table management, architecture-specific context switching, unforgeable capability/cryptographic identity primitives, and formal specification proofs (e.g., using Coq, Isabelle/HOL, or Kani). The hard part is achieving formal verification of kernel invariants while maintaining performant zero-trust IPC without relying on standard runtime libraries. This necessitates top-tier operating systems researchers and formal methods specialists.
Discussion
No comments on this launch.
Competitors
Other products that read as similar to this one — 220 launches clear the similarity bar, closest 8 shown.
Attention rank: #121 of 221 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 225 days after the earliest competitor.
- Shrouded, secure memory management in Rust · hn · 2026-03-23 · 5 upvotes · similarity 0.54
- A password system with no database, no sync, and nothing to breach · hn · 2026-02-06 · 14 upvotes · similarity 0.48
- Nucleus · hn · 2026-06-09 · 40 upvotes · similarity 0.47
- Lilith-zero: Ultra-fast, Rust-based security middleware for MCP · hn · 2026-04-06 · 9 upvotes · similarity 0.46
- Rscrypto, pure-Rust crypto with industry leading public benches · hn · 2026-06-03 · 33 upvotes · similarity 0.43
- Caution: Hosting platform for software you can't afford to have hacked · yc · 2026-08-04 · 59 upvotes · similarity 0.43
- Secure Core FFI · ph · 2026-09-14 · 1 upvotes · similarity 0.43
- Secs-man, a secrets manager you can (not) rely on · hn · 2026-06-25 · 31 upvotes · similarity 0.43
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a hardware & robotics tool for Horizontal yet.