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.
* 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?
* 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?
Edmund
"EGE" == Edmund GRIMLEY EVANS edmundo@rano.demon.co.uk writes:
EGE> * L4/MIPS from Australia. Written in assembler? GNU.
Half assembler, half C, GPL-ed.
EGE> * L4/Alpha from Dresden and Australia. Written in assembler? Not yet EGE> released but probably GNU?
Our version will be GPL-ed.
We're also working on a version for the StrongARM (also Assembler/C, will be GPL-ed).
Gernot -- Gernot Heiser ,--_|\ School of Computer Sci. & Engin. Phone: +61 2 9385 5156 / \ The University of NSW Fax: +61 2 9385 5995 _,--._* Sydney, Australia 2052 E-mail: G.Heiser@unsw.edu.au v http://www.cse.unsw.edu.au/~gernot PGP fingerprint: 94 1E B8 28 25 FD 7C 94 20 10 92 E5 0B FF 39 8F
l4-hackers@os.inf.tu-dresden.de