Due to a cancellation, the Microkernel devroom will offer a lightning talk session in the field of Microkernels, Unikernels, and component based systems on Sunday from 15:25-15:55. Feel free to offer proposals.

Current proposals:

15:25 - 15:45 Norman Feske - Genode's Sculpt OS - A general purpose microkernel based OS in daily use

15:45 - 16:00 Jakub Jermar - What is new in HelenOS

Please note this session replaces Jiří Svoboda's talk "Evolution of file system and disk management in HelenOS" due to illness. We wish him a speedy recovery.