【VEKOS：用Rust编写的实验性操作系统，专注于核心验证和安全性。特色功能包括加密验证的文件系统和内存操作、基于伙伴算法的内存管理、现代化的shell实现、基于Merkle树验证的文件系统(VKFS)以及基础进程管理。目前处于alpha阶段(v0.0.1)，支持x86_64架构】
'Source tree for the Verified Experimental Kernel Operating System, or VEKOS'
GitHub: github.com/JGiraldo29/vekos
操作系统 Rust 系统验证 安全性
