25 Aug
2004
25 Aug
'04
8:12 p.m.
[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