| Parent directory/ | - | - | 
| microkernel_hardware_acceleration_for_unikernels.mp4 | 137.0 MiB | 2021-02-26 06:36:24 | 
| microkernel_hardware_acceleration_for_unikernels.webm | 135.5 MiB | 2021-02-26 06:36:19 | 
| microkernel_libioth.mp4 | 295.0 MiB | 2021-02-24 07:44:07 | 
| microkernel_libioth.webm | 232.8 MiB | 2021-02-24 07:43:58 | 
| microkernel_pluggable_device_drivers_for_genode.mp4 | 204.9 MiB | 2021-02-19 15:48:20 | 
| microkernel_pluggable_device_drivers_for_genode.webm | 156.0 MiB | 2021-02-19 15:48:13 | 
| microkernel_sel4_foundation.mp4 | 117.8 MiB | 2021-02-24 10:40:05 | 
| microkernel_sel4_foundation.webm | 97.1 MiB | 2021-02-24 10:40:00 | 
| microkernel_sel4_report.mp4 | 383.8 MiB | 2021-02-24 11:09:57 | 
| microkernel_sel4_report.webm | 227.6 MiB | 2021-02-24 11:09:47 | 
| microkernel_state_in_2021.mp4 | 350.5 MiB | 2021-02-24 18:04:08 | 
| microkernel_state_in_2021.webm | 380.1 MiB | 2021-02-24 18:03:58 | 
| microkernel_unikraft.mp4 | 48.3 MiB | 2021-02-17 17:42:36 | 
| microkernel_unikraft.webm | 58.6 MiB | 2021-02-17 17:42:34 | 
| microkernel_welcome.mp4 | 27.7 MiB | 2021-02-24 05:13:41 | 
| microkernel_welcome.webm | 12.6 MiB | 2021-02-24 05:13:39 |