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.
Instructions file GitHub Copilot
Copilot instructions for coherentforge/CambiOS, covering cambios microkernel development, architecture, key components, build commands and build both bootloader and microkernel.
Instructions file
Claude Code instructions for coherentforge/CambiOS, covering cambios microkernel — claude code context, formal verification (non-negotiable constraint), build with the end in mind, project vision and development environment.