You can take a look at 
  http://marte.unican.es 
for a real-time kernel on bare x86.

Jorge.

Dann Corbit ha escrito:
> 
> Has anyone tried to build a complete operating system in Ada?  Does anyone
> know of a paper or URL for such an effort?
> --
> C-FAQ: http://www.eskimo.com/~scs/C-faq/top.html
>  "The C-FAQ Book" ISBN 0-201-84519-9
> C.A.P. FAQ: ftp://cap.connx.com/pub/Chess%20Analysis%20Project%20FAQ.htm