[ICO]NameLast modifiedSizeDescription

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