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