Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Rump_Kernels_Just_Components.webm | 2014-02-08 03:07 | 360M | ||
Genode_as_generalpurpose_OS_progress_report_and_demonstration.webm | 2014-02-09 08:17 | 320M | ||
GNUHurd_DDE_userland_device_drivers.webm | 2014-04-02 00:56 | 245M | ||
The_microkernel_OS_Escape.webm | 2014-10-24 02:07 | 438M | ||
State_of_the_Union_Whats_new_in_the_L4Re_Microkernel_System.webm | 2014-10-24 03:48 | 330M | ||
Secure_applications_on_top_of_L4.webm | 2014-10-24 03:56 | 48M | ||
Virtualization_Dungeon_on_ARM.webm | 2014-10-24 05:45 | 253M | ||
Rethinking_Resource_Control.webm | 2014-10-24 08:07 | 318M | ||
HelenOS_annual_update.webm | 2014-10-26 03:58 | 321M | ||