Index of /fosdem/2015/devroom-microkernels

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] toro__MISSING.txt 2015-03-19 13:37 27 [TXT] sel4__MISSING.txt 2015-03-19 13:37 27 [VID] mm__BAD_AUDIO.mp4 2015-03-03 08:46 125M [VID] l4re__BAD_AUDIO.mp4 2015-03-03 08:46 130M [TXT] intro__MISSING.txt 2015-03-19 13:37 27 [VID] hurd__BAD_AUDIO.mp4 2015-03-03 08:46 180M [VID] genode__BAD_AUDIO.mp4 2015-03-03 08:46 150M [VID] flk__BAD_AUDIO.mp4 2015-03-03 08:46 85M [TXT] diner__MISSING.txt 2015-03-19 13:37 27 [VID] deadlock__BAD_AUDIO.mp4 2015-03-03 08:46 97M
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443