我想知道是否有人知道任何简单的设计，而是一个用Ada编写的非常简单的操作系统 或者如果可能的话，举个例子，谢谢。
答案 0 :(得分：10)
虽然已经有了许多有希望的开始，但是我所知道的唯一一个用Ada编写的操作系统已经达到了MaRTE OS的完整性，这被设计为“硬实时操作”嵌入式应用系统“。
答案 1 :(得分：5)
还有TAMP：https://github.com/Lucretia/tamp
但它不是你可以称之为操作系统的状态。
答案 2 :(得分：3)
嗯，我实际上知道为小型嵌入式系统做过的几个自定义系统，但没有一个可供公众查看。可悲的是，由于军队/航空电子设备已经完成，很多优秀的Ada工作已经远离公众。
RTEMS已提供Ada和C源格式since the mid-1990s。
答案 3 :(得分：3)
陆军安全操作系统（ASOS）几乎完全是在Ada中编写的。它旨在满足Orange Book A1保护要求，更直接地支持Ada应用程序，并在商品Sun3上运行。总软件是55,000行代码。它甚至还有一个检查点/恢复，后来还有一个安全的RDBMS。
http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF