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