I just came across this while looking for FOSDEM talks: http://www.helenos.org/node/118 Sounds interesting, also for the GTA04. Maybe, not only me is interested to look into the microkernel devroom: http://fosdem.org/2012/schedule/track/microkernel_os_devroom Nikolaus