Hi,
Microkernel-Based Operating Systems: http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en
The slides for this course are no longer on the website because the new semester starts soon and we sometimes change things, so we publish the slides as we go through the course. But you can find last year's slides for this course here: http://os.inf.tu-dresden.de/Studium/KMB/WS2010/
Michael