http://www.microkernel.info/ http://www.microkernel.info/ probably should list some others mentioned here. I've only glanced at it, but there's some teaching m

http://www.microkernel.info/ http://www.microkernel.info/ probably should list some others mentioned here. I've only glanced at it, but there's some teaching material from L4 land apparently in the usual excellent German technical English at https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/studium/vorlesungen/mos https://tu-dresden.de/ing/informatik/sya/professur-fuer-betr...