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@cs.may.ie web: http://www.cs.may.ie/~adelaney gpg: http://www.cs.may.ie/~adelaney/public_key.asc
[Aidan Delaney]
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.
A list of OS projects based on L4 can be found on http://l4hq.org/projects/os/ Some other smaller projects are also listed on http://l4ka.org/relatedprojects.php Of course, not all of these are "full" operating systems per se. eSk
participants (2)
-
Aidan Delaney -
Espen Skoglund