VEKOS：用Rust编写的实验性操作系统，专注于核心验证和安全性。特色功能包括加密验证的文件系统和内存操作、基于伙伴算法的内存管理、现代化的shell实现、基于Merkle树验证的文件系统(VKFS

【VEKOS：用Rust编写的实验性操作系统，专注于核心验证和安全性。特色功能包括加密验证的文件系统和内存操作、基于伙伴算法的内存管

2024-12-12浏览详情