Index of /fosdem/2021/D.microkernel

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 microkernel_hardware_acceleration_for_unikernels.mp4  2021-02-26 07:36  137M  
 microkernel_hardware_acceleration_for_unikernels.webm 2021-02-26 07:36  135M  
 microkernel_libioth.mp4                               2021-02-24 08:44  295M  
 microkernel_libioth.webm                              2021-02-24 08:43  233M  
 microkernel_pluggable_device_drivers_for_genode.mp4   2021-02-19 16:48  205M  
 microkernel_pluggable_device_drivers_for_genode.webm  2021-02-19 16:48  156M  
 microkernel_sel4_foundation.mp4                       2021-02-24 11:40  118M  
 microkernel_sel4_foundation.webm                      2021-02-24 11:40   97M  
 microkernel_sel4_report.mp4                           2021-02-24 12:09  384M  
 microkernel_sel4_report.webm                          2021-02-24 12:09  228M  
 microkernel_state_in_2021.mp4                         2021-02-24 19:04  351M  
 microkernel_state_in_2021.webm                        2021-02-24 19:03  380M  
 microkernel_unikraft.mp4                              2021-02-17 18:42   48M  
 microkernel_unikraft.webm                             2021-02-17 18:42   59M  
 microkernel_welcome.mp4                               2021-02-24 06:13   28M  
 microkernel_welcome.webm                              2021-02-24 06:13   13M