【VEKOS：用Rust编写的实验性操作系统，专注于核心验证和安-20241205193204

爱可可-爱生活 · 微博 · AI · 2024-12-05 19:32

文章预览

2024-12-05 19:32 本条微博链接【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# #系统验证# #安全性# ………………………………

原文地址：访问原文地址
快照地址：访问文章快照
总结与预览地址：访问总结与预览

分享到微博

推荐文章

机器之心 · 为什么说DeepSeek的R1-Zero比R1更值得关注？

14 小时前

量子位 · “DeepSeek甚至绕过了CUDA”，论文细节再引热议，工程师灵魂提问：英伟达护城河还在吗？

昨天

机器之心 · OpenAI首席研究官：DeepSeek独立发现了o1的一些核心思路，奥特曼、LeCun纷纷置评

昨天

宝玉xp · 转发微博-20250129020652

2 天前

爱可可-爱生活 · 《爱可可微博热门分享(1.26)》爱可可微博热门分享(1.2-20250126224252

4 天前