Microkernels and Component-based OS devroom

Room: AW1.125
Calendar: iCal, xCal

	09												10												11												12												13												14												15												16												17												18
Saturday																			Welcoming and Introduction			A kernel in a library Genode's custom kernel approach												AMENDMENT HelenOS in the year of the fire monkey												Deterministic replay support for Genode components Performance penalty and challenges								Redox OS A safety-first microkernel developed in Rust												Introducing kernel-agnostic Genode executables												Secure Microkernel for Deeply Embedded Devices												TCP/IP for MINIX, the good, the bad, the ugly									The VFS paradigm from the perspective of a component OS									Virtualization on the Hurd

Event		Speakers	Start	End
Saturday
	Welcoming and Introduction	Josef Söntgen	10:30	10:35
	A kernel in a library Genode's custom kernel approach	Martin Stein	10:45	11:30
	AMENDMENT HelenOS in the year of the fire monkey	Martin Děcký	11:45	12:30
	Deterministic replay support for Genode components Performance penalty and challenges	Mahoukpego Parfait Tokponnon	12:45	13:10
	Redox OS A safety-first microkernel developed in Rust	David Teller	13:25	14:10
	Introducing kernel-agnostic Genode executables	Norman Feske	14:25	15:10
	Secure Microkernel for Deeply Embedded Devices	Jim Huang	15:25	16:10
	TCP/IP for MINIX, the good, the bad, the ugly	Philip Homburg	16:25	16:55
	The VFS paradigm from the perspective of a component OS	Christian Helmuth	17:10	17:40
	Virtualization on the Hurd	Justus Winter	17:55	18:25

FOSDEM17