[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
http://l4ka.org/relatedprojects.php
Of course, not all of these are "full" operating systems per se.
eSk