Ada中的操作系统

Ale*_*dre 6 operating-system ada

我想知道是否有人知道任何简单的设计,但是用Ada编写的非常简单的操作系统或者如果可能的话,举个例子,谢谢.

Mar*_*c C 11

虽然已经有了许多有希望的开始,但我所知道的唯一一个用Ada编写的操作系统已经达到了一些完整性的外观是MaRTE OS,它被设计为"用于嵌入式应用程序的硬实时操作系统".


oen*_*one 5

还有TAMP:https://github.com/Lucretia/tamp

但它不是一个可以称之为操作系统的状态.