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.
3 files for Claude Code and GitHub Copilot: CambiOS, CambiOS copilot-instructions.md, CambiOS CLAUDE.md — 19,715 tokens loaded in every session.
.github/copilot-instructions.md A 436 tok CLAUDE.md C 19,279 tok .claude/settings.json A — These files are coherentforge/CambiOS's own configuration — they tell Claude Code and GitHub Copilot how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.