implementations of L4

[Michael Hohmuth]

Edmund GRIMLEY EVANS <edmundo at rano.demon.co.uk> writes:

> I've been trying to find out about existing implementations of L4.
> Perhaps people could correct or add to what I have discovered:
> 
> * The original L4 by Jochen Liedtke. Written in assebler. For i486 and
> i586. NOT FREE and therefore utterly useless :-)
> 
> * L4/MIPS from Australia. Written in assembler? GNU.
> 
> * L4/Alpha from Dresden and Australia. Written in assembler? Not yet
> released but probably GNU?
> 
> * Fiasco from Dresden. Written in C++, and designed for portabilty
> rather than efficiency, but only runs on i486 and i586 at present. GNU.

Fiasco hasn't really been designed for portability, even though it
might serve as a model for future implementations (if someone would
clean it up a bit ;).  The reason it has been implemented in a
high-level language is that this improves its maintainability.

> * A version of L4 for x86 from Dresden written in C. I saw this
> mentioned in the list archive. Is it really separate from Fiasco?

No.  There is no such beast.

> * L4/ARM in assembler. Unfinished? I saw this in the archive, too.
> 
> If this list could be corrected and completed, could it be put on the
> L4 website, with links, as it must be what a lot of casual readers are
> interested in knowing?

Yes, that's right.  The L4 web site at
<URL:http://os.inf.tu-dresden.de/L4/> needs a major overhaul.  Thanks
for your suggestion.

Michael
-- 
hohmuth at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/