Conversation

Yet another OS written in #Rust. (It's in Alpha, of course. Hobby OS's almost never seem to get out of Alpha.) The key feature here is it cryptographically verifies filesystem and memory operations. Which sounds kind of interesting from a security viewpoint, but probably burns CPU cycles like crazy every time you copy a file.

> VEKOS is an experimental operating system written in Rust that focuses on verification and security at its core. https://github.com/JGiraldo29/vekos

#programming #OperatingSystems