



RuVix is an operating system kernel designed for AI agents and cognitive workloads, replacing file/process thinking with vectors, graphs, proofs, and capabilities. Features proof-gated mutations, unforgeable capability tokens, io_uring-style IPC, coherence-aware scheduling, and support for bare-metal AArch64, multi-core, Raspberry Pi, networking, and distributed QEMU swarms.
Loading more......
RuVix thinks in vectors, graphs, proofs, and capabilities for native AI support.
| Primitive | Purpose | Status |
|---|---|---|
| Task | Concurrent execution with capability set | ✅ Implemented |
| Capability | Unforgeable access token (seL4-inspired) | ✅ Implemented |
| Region | Memory with policy (immutable/append/slab) | ✅ Implemented |
| Queue | io_uring-style lock-free IPC | ✅ Implemented |
| Timer | Deadline-driven scheduling | ✅ Implemented |
| Proof | Cryptographic attestation for mutations | ✅ Implemented |
Phases A-F complete with 20+ crates, 1,200+ tests.
Free and open-source.