Интересно, кто-нибудь знает какой-нибудь простой дизайн, но очень простую операционную систему, написанную на Аде? Или, если возможно, приведите пример, спасибо.
Хотя было несколько обнадеживающих запусков, единственная ОС, написанная на Аде, о которой я знаю, которая достигла некоторого подобия полноты, - это MaRTE OS , которая разработана как «Hard Real» Операционная система для встроенных приложений ".
Существует также TAMP: https://github.com/Lucretia/tamp
Но это не в состоянии, что вы могли бы назвать это ОС.
Армейская безопасная операционная система (ASOS) была написана почти полностью на Аде.Он был разработан для удовлетворения требований защиты Orange Book A1, более прямой поддержки приложений Ada и работы на стандартном продукте Sun3.Всего в программном обеспечении было 55 000 строк кода.Он даже имел контрольно-пропускной пункт / восстановление и позже безопасную СУБД.
http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF
Ну, на самом деле я знаю несколько пользовательских, сделанных для небольших встроенных систем, но ни одна из них не доступна для публичного просмотра. К сожалению, много хорошей работы Ады было скрыто от общественности из-за военной ниши / авионики, в которой она была сделана.
RTEMS доступен как в исходных формах Ada, так и в C с середины 1990-х годов .