L4 based schedulers

Espen Skoglund esk at ira.uka.de
Wed Aug 25 20:12:19 CEST 2004

[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


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 mailing list