![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| microkernel_hardware_acceleration_for_unikernels.mp4 | 2021-02-26 07:36 | 137M | |
| microkernel_hardware_acceleration_for_unikernels.webm | 2021-02-26 07:36 | 135M | |
| microkernel_libioth.mp4 | 2021-02-24 08:44 | 295M | |
| microkernel_libioth.webm | 2021-02-24 08:43 | 233M | |
| microkernel_pluggable_device_drivers_for_genode.mp4 | 2021-02-19 16:48 | 205M | |
| microkernel_pluggable_device_drivers_for_genode.webm | 2021-02-19 16:48 | 156M | |
| microkernel_sel4_foundation.mp4 | 2021-02-24 11:40 | 118M | |
| microkernel_sel4_foundation.webm | 2021-02-24 11:40 | 97M | |
| microkernel_sel4_report.mp4 | 2021-02-24 12:09 | 384M | |
| microkernel_sel4_report.webm | 2021-02-24 12:09 | 228M | |
| microkernel_state_in_2021.mp4 | 2021-02-24 19:04 | 351M | |
| microkernel_state_in_2021.webm | 2021-02-24 19:03 | 380M | |
| microkernel_unikraft.mp4 | 2021-02-17 18:42 | 48M | |
| microkernel_unikraft.webm | 2021-02-17 18:42 | 59M | |
| microkernel_welcome.mp4 | 2021-02-24 06:13 | 28M | |
| microkernel_welcome.webm | 2021-02-24 06:13 | 13M | |