Hacker News
- Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification https://github.com/JGiraldo29/vekos 15 comments
- VEKOS, a cryptographically verified hobby OS written in Rust https://github.com/JGiraldo29/vekos 10 comments osdev
- VEKOS, a cryptographically verified hobby OS written in Rust https://github.com/JGiraldo29/vekos 20 comments rust
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - JGiraldo29/vekos: Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
See how to search.