Memory Management
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.
📄Systems Papers Content type: CodeRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
🦀Rust Content type: Blog Content type: DiscussionNo more posts from rishabh's subscribed feeds.