Hey all (Güten tag or G'day), 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.
Thank you,
[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
l4-hackers@os.inf.tu-dresden.de