Index of /video.fosdem.org/2021/D.microkernel

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[VID]microkernel_hardware_acceleration_for_unikernels.mp42021-02-26 07:36 137M 
[VID]microkernel_hardware_acceleration_for_unikernels.webm2021-02-26 07:36 135M 
[VID]microkernel_libioth.mp42021-02-24 08:44 295M 
[VID]microkernel_libioth.webm2021-02-24 08:43 233M 
[VID]microkernel_pluggable_device_drivers_for_genode.mp42021-02-19 16:48 205M 
[VID]microkernel_pluggable_device_drivers_for_genode.webm2021-02-19 16:48 156M 
[VID]microkernel_sel4_foundation.mp42021-02-24 11:40 118M 
[VID]microkernel_sel4_foundation.webm2021-02-24 11:40 97M 
[VID]microkernel_sel4_report.mp42021-02-24 12:09 384M 
[VID]microkernel_sel4_report.webm2021-02-24 12:09 228M 
[VID]microkernel_state_in_2021.mp42021-02-24 19:04 351M 
[VID]microkernel_state_in_2021.webm2021-02-24 19:03 380M 
[VID]microkernel_unikraft.mp42021-02-17 18:42 48M 
[VID]microkernel_unikraft.webm2021-02-17 18:42 59M 
[VID]microkernel_welcome.mp42021-02-24 06:13 28M 
[VID]microkernel_welcome.webm2021-02-24 06:13 13M 

Apache/2.4.57 (Debian) Server at mirror.as35701.net Port 443