JGiraldo29/vekos

Source tree for the Verified Experimental Kernel Operating System, or VEKOS.

82 best points · 15 comments · 1 Hacker News post · 213 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (82 points, 15 comments, by jgiraldo29, 2024-12-04)