Re: Ada OS

["Marin D. Condic" <not.valid@acm.org>]

I took a look at some of the things relating to L4 - I could not get to the
site that came up when searching for a bibliography:
http://os.inf.tu-dresden.de/L4/bib.html Maybe the server is down.

Just from a brief inspection, I'd observe that the API specification is
basically a language independent thing which might indicate that there is
room for an Ada implementation. Also, it is at a low enough level that it
might not take forever to implement, yet could still be useful. It would
also show off Ada's strengths in the way of getting down to the bare
silicon - plenty of opportunities for representation clauses and the like.

There would probably be a need to build more than just an Ada version of L4
in order to have something hobbyists could play with, but if it could be
brought up and running on a garden variety PC, it would constitute A Good
Start. It looks like an appropriate level of ambition for an AdaOS project
and the hard work of doing requirements, etc is already handled.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com

Enabling Digital.
Our Vision is to be the biggest supplier worldwide of digital gateway
technology.
www.pacemicro.com

"antoine terrienne" <antoine.terrienne@openwide.fr> wrote in message
news:3D5767F7.9080500@openwide.fr...
>
> I think using Hazelnut would be a better choice. the L4 is
> still under development and FIASCO is an implementation of an
> old version with few drawbacks (limited low number of process, etc..)
> Hazlenut is the implementation of a newer version X.2. But the newest
> version (version 4) named Pistachio is still under development.
>
> See the hurd on L4 documents. The work they do is interesting as they
> explain the choices they do :
> http://www.freesoftware.fsf.org/l4hurd/
>
> L4 project :
> http://www.l4ka.org/
>