AdaOS:用Ada编写的操作系统-开源

【文件属性】：

文件名称：AdaOS:用Ada编写的操作系统-开源

文件大小：131KB

文件格式：BZ2

更新时间：2024-06-16 01:15:47

开源软件

自1999年以来，AdaOS便以一些有限的私人帐户出现了。 是时候以某种形式公开发行了。