Operating system in Ada

Question

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.

Answer 1

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.

Answer 2

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

Answer 3

There is also TAMP: https://github.com/Lucretia/tamp

But it's not in a status that you could call it OS.

Answer 4

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".