Back to pulanski's feed

SeL4 is a formally verified operating system (opens in new tab) 🐧Linux Kernel 5 articles covering this post

sel4.systems··Hacker News, Hacker News, Hacker News·Covered by blog.janestreet.com + 3 more·Open original

Sign in to keep reading the full article.

Covered in 5 articles

Formal methods and the future of programming

blog.janestreet.com··Lobsters, Hacker News

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.

github.com··Hacker News

seL4/seL4: The seL4 microkernel