![[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 | - | ||
| GNUHurd_DDE_userland_device_drivers.webm | 2014-04-02 00:56 | 245M | |
| Genode_as_generalpurpose_OS_progress_report_and_demonstration.webm | 2014-02-09 08:17 | 320M | |
| HelenOS_annual_update.webm | 2014-10-26 03:58 | 321M | |
| Rethinking_Resource_Control.webm | 2014-10-24 08:07 | 318M | |
| Rump_Kernels_Just_Components.webm | 2014-02-08 03:07 | 360M | |
| Secure_applications_on_top_of_L4.webm | 2014-10-24 03:56 | 48M | |
| State_of_the_Union_Whats_new_in_the_L4Re_Microkernel_System.webm | 2014-10-24 03:48 | 330M | |
| The_microkernel_OS_Escape.webm | 2014-10-24 02:07 | 438M | |
| Virtualization_Dungeon_on_ARM.webm | 2014-10-24 05:45 | 253M | |