This page is meant to be the entry point for all the documentation of our projects. At the moment this means, that you may find external links to all of our projects in the navigation-bar on the left.
Please note, that lots of information about our software is taught in our lectures. To get some more information, you may have a look at the webpages of the lectures for micro-kernel based systems and for micro-kernel construction.
You may get a short overview over DROPS here.
You may explore our projects by walking through the links on the navigation-bar on the left. Please feel free to subscribe to our L4-Hackers mailinglist, and ask your questions there.