Index of /fosdem/2021/D.microkernel

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [VID] microkernel_unikraft.webm 2021-02-17 18:42 59M [VID] microkernel_unikraft.mp4 2021-02-17 18:42 48M [VID] microkernel_pluggable_device_drivers_for_genode.webm 2021-02-19 16:48 156M [VID] microkernel_pluggable_device_drivers_for_genode.mp4 2021-02-19 16:48 205M [VID] microkernel_welcome.webm 2021-02-24 06:13 13M [VID] microkernel_welcome.mp4 2021-02-24 06:13 28M [VID] microkernel_libioth.webm 2021-02-24 08:43 233M [VID] microkernel_libioth.mp4 2021-02-24 08:44 295M [VID] microkernel_sel4_foundation.webm 2021-02-24 11:40 97M [VID] microkernel_sel4_foundation.mp4 2021-02-24 11:40 118M [VID] microkernel_sel4_report.webm 2021-02-24 12:09 228M [VID] microkernel_sel4_report.mp4 2021-02-24 12:09 384M [VID] microkernel_state_in_2021.webm 2021-02-24 19:03 380M [VID] microkernel_state_in_2021.mp4 2021-02-24 19:04 351M [VID] microkernel_hardware_acceleration_for_unikernels.webm 2021-02-26 07:36 135M [VID] microkernel_hardware_acceleration_for_unikernels.mp4 2021-02-26 07:36 137M
Apache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80