"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