I have been teaching an L4-based course Advanced Operating Systems at UNSW since 1997, you can find all the lecture slides from this and previous years on the web site (
http://www.cse.unsw.edu.au/~cs9242). A refreshed set of "microkernel internals" slides will be up at the end of this week. The course has been copied at Karlsruhe, Arizona State, ETH Zurich and Boston Uni among others (although not all of them are still running it).