L4 based schedulers
esk at ira.uka.de
Wed Aug 25 20:12:19 CEST 2004
> 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
Some other smaller projects are also listed on
Of course, not all of these are "full" operating systems per se.
More information about the l4-hackers