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: [EMAIL PROTECTED]
                web:   http://www.cs.may.ie/~adelaney
                gpg:   http://www.cs.may.ie/~adelaney/public_key.asc

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
l4-hackers mailing list
[EMAIL PROTECTED]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to