MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
system
Search

VEKOS: the Verified Experimental Kernel Operating System

Thursday December 5, 2024. 09:40 PM , from OS News
VEKOS is an experimental operating system written in Rust that focuses on verification and security at its core. This is the first alpha release (v0.0.1) that demonstrates the basic architecture and key features of the system.
↫ VEKOS GitHub page

Hobby and experimental operating systems written in Rust are not exactly a novel concept, but that doesn’t mean each new one that comes up isn’t cool. This one is still in its very early stages, but focuses on something quite interesting: every filesystem and memory operation is cryptographically verified using a proof system. It’s already got basic file system operations, signal handling and a scheduler, a shell, and more.

Contributions are welcomed.
https://www.osnews.com/story/141276/vekos-the-verified-experimental-kernel-operating-system/

Related News

News copyright owned by their original publishers | Copyright © 2004 - 2024 Zicos / 440Network
Current Date
Dec, Thu 12 - 06:03 CET