L4 based schedulers

[Aidan Delaney]

Hey all (Güten tag or G'day),
	How many "full" operating systems use l4?  I'm aware of DROPS and am
wondering if there is anything else that has a "process" model and
scheduler build around l4.

Thank you,
-- 
Aidan Delaney   email: adelaney at cs.may.ie
                web:   http://www.cs.may.ie/~adelaney
                gpg:   http://www.cs.may.ie/~adelaney/public_key.asc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20040823/303286e8/attachment.asc>