Hi, lecture notes are not very common in German universities. You will find the slides (and lecture notes for the MDB lecture) on our homepage but there is no further supporting material for the Dresden lectures right now.
http://www.inf.tu-dresden.de/index.php?node_id=1317&ln=de
Best regards
Marcus
Am 16. Oktober 2014 15:47:22 MESZ, schrieb teclis High Elf teclis.high.elf@gmail.com:
Hi, I understand that Fiasco/L4Re is used as the teaching operating system at TU Dresden. Are there any course notes or lab notes available for courses at TU Dresden that used and/or covered Fiasco/L4Re? All the lab tutorials and course notes pertaining to the teaching operating systems used at MIT and Stanford are available online but I couldn't find anything similar for Fiasco.
thanks
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers