Teaching OS Course notes

teclis High Elf teclis.high.elf at gmail.com
Thu Oct 16 15:47:22 CEST 2014

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20141016/c0f7e3b2/attachment.html>

More information about the l4-hackers mailing list