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