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