Ada CuBit 返回
项目作者： docandrew

项目描述 ：
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
高级语言： Ada
项目地址: git://github.com/docandrew/CuBit.git
创建时间： 2020-03-07T03:33:34Z
项目社区：https://github.com/docandrew/CuBit
开源协议：GNU General Public License v3.0
下载