L4 based schedulers

[Espen Skoglund]

[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