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