Re: Ada Operating System

[joel@oarcorp.com (Joel Sherrill)]

"Dann Corbit" <dcorbit@connx.com> wrote in message news:<a4uqu402315@enews2.newsguy.com>...
> "Hugues Jerome" <hugues@neraka.rezel.enst.fr> wrote in message
> news:slrna75lja.g7h.hugues@neraka.rezel.enst.fr...
> > In article <5Tzc8.111999$H37.15018616@news2-win.server.ntlworld.com>,
> > chris.danx wrote:
> > >
> > > "Dann Corbit" <dcorbit@connx.com> wrote in message
> > > news:a4u9d00vqe@enews2.newsguy.com...
> > >> Has anyone tried to build a complete operating system in Ada?  Does
>  anyone
> > >> know of a paper or URL for such an effort?
> > >
> > > www.adaos.org
> 
> This one has specs only at this time.
> 
> > > http://site.voila.fr/ProjetADX/index.htm (in french, if you can't read
>  it
> > > try running it through http://www.freetranslation.com/)
> 
> I have a couple years of French, but the translation below was handy anyway.
> 
> > Simple translation for ProjetADX :
> >
> > it is a micro-kernel, built using the facility of the Ada95 language.
> > early 2001 there were some specs, describing the overall architecture,
>  since
> > then nothing. unless otherwise stated, this project seems dead ...
> >
> > rtems is (was ?) also an embedded OS written in Ada (another version was
>  in C)
> > by the US Army, more info here http://www.rtems.army.mil, perhaps you can
> > have other info somewhere else ...

I don't think there is a public Army RTEMS site any longer.  The 
current RTEMS source is at ftp.oarcorp.com.  The last Ada
release is also there since more than a few people had asked for it.
 
> Looks like the new versions are in C.

This is correct.  V3.2.1 was the last version in which the C
and Ada implementations were feature-wise in sync.  About this
time, the GNAT project was started and we decided that it made
more sense to provide Ada support for RTEMS by focusing on 
providing a free full-featured embedded run-time for GNAT.  

This is accomplished via as complete an implementation 
of POSIX 1003.1b as is possible without actually having 
UNIX processes.  We made the decision because we felt this 
resulted in a solution more appealing to more people.  I have
always enjoyed the irony that C/C++ supporters enhancing RTEMS 
are improving it as an Ada run-time. :)

--joel
Joel Sherrill, Ph.D.             Director of Research & Development
joel@OARcorp.com                 On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985