schedule

Hello. This is a schedule of microkernel devroom @FOSDEM’15 9:00 10 Openning 9:10 50 seL4: Present and Future 10:00 60 A dedicated kernel named TORO 11:00 30 The FLK project 11:30 60 Along the GNU Hurd RPC way 12:30 30 Networking (dinner) 13:00 45 Autopsy of a multiserver deadlock in the HelenOS filesystem layer 13:45 45 Facing the Reality: What's new in the L4Re Operating System 14:30 50 Helenos 15:20 45 Introducing a radically componentized GUI architecture 16:05 20 Network Appliance on top of microkernels -- Vasily A. Sartakov sartakov@ksyslabs.org