Sistema operativo in Ada

Question

Mi chiedo se qualcuno conosca un design semplice, ma un sistema operativo molto semplice scritto in Ada O se possibile, fare un esempio, grazie.

Answer 1

C'è anche TAMP: https://github.com/Lucretia/tamp

Ma non è in uno stato che si può chiamare OS.

Answer 2

Mentre ci sono state molte speranze di avvio, l'unico sistema operativo scritto in Ada mi rende conto che ha raggiunto una parvenza di completezza è MaRTE OS, che è stato progettato come un "sistema operativo in tempo reale difficile per embedded applicazioni".

Answer 3

Beh, in realtà conosco diversi tipi personalizzati per piccoli sistemi embedded, ma nessuno è disponibile per la visualizzazione pubblica. Purtroppo, molte delle buone opere di Ada sono state nascoste al pubblico a causa della postazione militare/avionica in cui è stato fatto.

RTEMS è disponibile in entrambi i moduli di fonte Ada e C since the mid-1990s.

Answer 4

Il sistema operativo sicuro dell'esercito (ASOS) è stato scritto quasi interamente in Ada. È stato progettato per soddisfare i requisiti di protezione di Orange Book A1, supportare le applicazioni Ada in modo più diretto e funzionare su un prodotto Sun3. Il software totale era 55.000 linee di codice. Aveva persino il checkpoint/ripristino e in seguito un RDBMS sicuro.

http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF