Index of /fosdem/2015/devroom-microkernels
Name Last modified Size Description
Parent Directory -
toro__MISSING.txt 2015-03-19 13:37 27
sel4__MISSING.txt 2015-03-19 13:37 27
mm__BAD_AUDIO.mp4 2015-03-03 08:46 125M
l4re__BAD_AUDIO.mp4 2015-03-03 08:46 130M
intro__MISSING.txt 2015-03-19 13:37 27
hurd__BAD_AUDIO.mp4 2015-03-03 08:46 180M
genode__BAD_AUDIO.mp4 2015-03-03 08:46 150M
flk__BAD_AUDIO.mp4 2015-03-03 08:46 85M
diner__MISSING.txt 2015-03-19 13:37 27
deadlock__BAD_AUDIO.mp4 2015-03-03 08:46 97M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80