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

Hi,

we had some "Advanced Operating Systems" AOS course at Hochschule Rhein-Main. This was some mixed lecture with tu dresden (fiasco) and NICTA (seL4) slides.

Both are some L4 kernel based microkernel systems. I am sure your read about that. I am happy that I leave the microkernel world now and just doing some linux hacking now.

Nevertheless here is the website of this course [0].

We had some Raspberry Pi's and did some fiasco hacking. Now seL4 is open source and maybe better. We had a lot of trouble because the lua scripting buildsystem and the channel setup for IPC in lua. At the end it was a really nice course about microkernel operating systems.

Cheers, Alex

[0] http://www.cs.hs-rm.de/~kaiser/1314_aos.php