Dear all, we have one canceled talk in the Microkernel devroom: Rux: Development of a Hobbyist Rust Microkernel which was scheduled between 15:55 and 16:25. Philipp had an idea of making this time slot for lightning talks (up to 5 minutes talks). Please do let me know whether you'd like to give a lightning talk or show a short demo of your work. If this doesn't fly, we will simply have a break. Sorry for the late notice. Cheers, Jakub