Edmund GRIMLEY EVANS edmundo@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