CambiOS
a new Rust-based, sovereign identity, zero-trust OS
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
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
HN · launched Jun 11, 2026 · 8 upvotes (top 50%) · 0 views
Niche: experimental and embedded operating systems · 142 launches, 6 in the last 7 days ▼ -60% · Explore this niche →
Category and tags
- Security
- Hardware & robotics
- B2B
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 142 launches in experimental and embedded operating systems →
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 : 538 launches clear the similarity bar, closest 8 shown.
Attention rank: #281 of 539 (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.56
- A password system with no database, no sync, and nothing to breach · hn · 2026-02-06 · 14 upvotes · similarity 0.50
- Nucleus · hn · 2026-06-09 · 40 upvotes · similarity 0.48
- ViFastOs · github · 2026-11-08 · 13 upvotes · similarity 0.48
- Lilith-zero: Ultra-fast, Rust-based security middleware for MCP · hn · 2026-04-06 · 9 upvotes · similarity 0.48
- prime-files · github · 2026-11-04 · 119 upvotes · similarity 0.46
- NEXUS-Q · ph · 2026-11-04 · 1 upvotes · similarity 0.45
- Rscrypto, pure-Rust crypto with industry leading public benches · hn · 2026-06-03 · 33 upvotes · similarity 0.45
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.