Index of /mirrors/fosdem-video/2015/devroom-microkernels

      Name                        Last modified      Size  Description
      Parent Directory                                 -   
      hurd__BAD_AUDIO.mp4         2015-03-03 07:46  180M  
      genode__BAD_AUDIO.mp4       2015-03-03 07:46  150M  
      l4re__BAD_AUDIO.mp4         2015-03-03 07:46  130M  
      mm__BAD_AUDIO.mp4           2015-03-03 07:46  125M  
      deadlock__BAD_AUDIO.mp4     2015-03-03 07:46   97M  
      flk__BAD_AUDIO.mp4          2015-03-03 07:46   85M  
      toro__MISSING.txt           2015-03-19 12:37   27   
      sel4__MISSING.txt           2015-03-19 12:37   27   
      intro__MISSING.txt          2015-03-19 12:37   27   
      diner__MISSING.txt          2015-03-19 12:37   27