CambiOS
a new Rust-based, sovereign identity, zero-trust OS. 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. A microkernel OS built in Rust, that boots in QEMU under x86_64, AArch64, and RISC-V - targeting formal verification.
Open source
Reactions (1)
Similar products
by description similarity
Implementation of Groth16 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge Protocol using Rust
Ariadne
codeberg.orgA Rust implementation of aperiodic cryptography
Anos
github.coma hand-written ~100KiB microkernel for x86-64 and RISC-V
Z-Jail
github.comA 130 KB Linux sandbox-C99 with 7 defense layers and zero deps
Rust and Svelte
github.comopen-source Cross-platform terminal