/fosdem/2015/devroom-microkernels/

0 directories 10 files
List Grid
Name
Size Modified
Up
deadlock__BAD_AUDIO.mp4
97 MiB
diner__MISSING.txt
27 B
flk__BAD_AUDIO.mp4
85 MiB
genode__BAD_AUDIO.mp4
150 MiB
hurd__BAD_AUDIO.mp4
180 MiB
intro__MISSING.txt
27 B
l4re__BAD_AUDIO.mp4
130 MiB
mm__BAD_AUDIO.mp4
126 MiB
sel4__MISSING.txt
27 B
toro__MISSING.txt
27 B