Ada 操作系统
我不知道是否有人知道任何简单的设计，但是用 Ada 编写的非常简单的操作系统 或者可以的话请举个例子，谢谢。
I wonder if anyone know any simple design, but a very simple operating system written in Ada
Or if possible, give an example, thank you.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（4）
虽然已经有了一些充满希望的开始，但据我所知，唯一一个用 Ada 编写的操作系统已经实现了某种程度的完整性，那就是 MaRTE OS，被设计为“用于嵌入式应用的硬实时操作系统”。
While there have been a number of hopeful starts, the only OS written in Ada I'm aware of that has achieved some semblance of completeness is MaRTE OS, which is designed as a "a Hard Real-Time Operating System for embedded applications".
还有 TAMP： https://github.com/Lucretia/tamp
但它的状态并不你可以称之为操作系统。
There is also TAMP: https://github.com/Lucretia/tamp
But it's not in a status that you could call it OS.
陆军安全操作系统 (ASOS) 几乎完全是用 Ada 编写的。它旨在满足橙皮书 A1 保护要求，更直接地支持 Ada 应用程序，并在商品 Sun3 上运行。整个软件有 55,000 行代码。它甚至具有检查点/恢复功能以及后来的安全 RDBMS。
http://www.cs.washington.edu /research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF
The Army Secure Operating System (ASOS) was written almost entirely in Ada. It was designed to meet Orange Book A1 protection requirements, support Ada applications more directly, and run on a commodity Sun3. The total software was 55,000 lines of code. It even had checkpointing/restore and later a secure RDBMS.
http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF
嗯，我实际上知道有几个为小型嵌入式系统定制的，但没有一个可供公众查看。遗憾的是，许多优秀的 Ada 作品由于其在军事/航空电子领域的应用而被隐藏起来。
RTEMS 已提供 Ada 和 C 源代码形式 自 20 世纪 90 年代中期以来。
Well, I actually know of several custom ones done for small embedded systems, but none are available for public viewing. Sadly, a lot of good Ada work has been hidden away from the public due to the military/avionics niche it has been done in.
RTEMS has been available in both Ada and C source forms since the mid-1990s.