coherentforge/CambiOS

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.

Open on GitHub

10Stars on the repository

4Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

AGPL-3.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

CambiOS

coherentforge/CambiOS

Settings file Claude Code

Agent settings declaring 9 allowed tools.

10 1mo ago A tokens not measured AGPL-3.0