Adaos.net
Title
- AdaOS ::: Precision Software Engineering
Description
Excerpted from the website:
- Goals: create new OS written in Ada language mostly, to help promote Ada; design via typical modern, pragmatic methods; microkernel supporting efficient IPC; fully distributed; advanced secure object system maybe using CORBA.