Microkernel and Component-Based OS

Room: UB4.136
Calendar: iCal, xCal

	09												10												11												12												13												14												15												16												17												18
Saturday																																																																									Welcome to the Microkernel and Component-Based OS Devroom	HelenOS: 20 years of past history, 20 years of future vision					Celebrating kernel diversity with Genode						MACHINA: Lessons and Insights from Reimplementing the Mach Microkernel					CMRX: Microkernel-based RTOS with memory isolation on MMU-less architectures					Obtaining Safety & Security Certifications for L4Re						A Formal Specification of the NOVA Microhypervisor						Cancelling POSIX syscalls in Managarm - an asynchronous microkernel-based OS					POSIX Signals in User Space on the Redox Microkernel					Trusted boot with the Genode OS Framework

Event		Speakers	Start	End
Saturday
	Welcome to the Microkernel and Component-Based OS Devroom	Udo Steinberg, Alexander van der Grinten	15:00	15:05
	HelenOS: 20 years of past history, 20 years of future vision	Martin Decky	15:05	15:25
	Celebrating kernel diversity with Genode	Alexander Boettcher	15:30	15:55
	MACHINA: Lessons and Insights from Reimplementing the Mach Microkernel	Gianluca Guida	16:00	16:20
	CMRX: Microkernel-based RTOS with memory isolation on MMU-less architectures	Eduard Drusa	16:25	16:45
	Obtaining Safety & Security Certifications for L4Re	Marcus Hähnel	16:50	17:15
	A Formal Specification of the NOVA Microhypervisor	Hoang-Hai Dang	17:20	17:45
	Cancelling POSIX syscalls in Managarm - an asynchronous microkernel-based OS	Geert Custers	17:50	18:10
	POSIX Signals in User Space on the Redox Microkernel	Jacob Lorentzon	18:15	18:35
	Trusted boot with the Genode OS Framework	Alice Domage	18:40	19:00

fosdem-2025