Microkernel Devroom Accepted Talks and Preliminary Schedule

Hello fellow hackers,

the microkernel devroom at FOSDEM is packed full with talks! Here is a
list of accepted talks and the very preliminary(!) schedule for Feb 2nd.
I have changed the requested length of time slots slightly where it made
sense.

09:00 - 09:05 Welcoming and Introduction

09:05 - 09:50 Rump Kernels, Just Components
              Antti Kantee

09:55 - 10:40 Genode as general-purpose OS -
              Progress report and demonstration
              Norman Feske

10:45 - 11:30 HelenOS annual update
              Jakub Jermář

11:35 - 12:05 The microkernel OS Escape
              Nils Asmussen

13:00 - 13:45 State of the Union: What's new
              in the L4Re Microkernel System
              t.b.d.

13:50 - 14:20 Secure applications on top of L4
              Sartakov A. Vasily

14:25 - 14:55 GNU/Hurd DDE userland device drivers
              Samuel Thibault

15:00 - 15:30 Virtualization Dungeon on ARM
              Stefan Kalkowski

15:40 - 16:25 Read-Copy-Update for HelenOS
              Martin Děcký

16:30 - 17:00 Rethinking Resource Control
              Michael Engel

I hope those whose talks didn't make it will attend anyway.

Julian

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iEYEARECAAYFAlKhvr4ACgkQ2EtjUdW3H9kXFwCgoMyGZ/yQ22siDo2h3eubIQjG
SwkAn2AcuxuYM9uHrlKIbqLBGbu/YC4p
=TgqK
-----END PGP SIGNATURE-----