BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Pentabarf//Schedule 0.3//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALDESC;VALUE=TEXT:Microkernel devroom X-WR-CALNAME;VALUE=TEXT:Microkernel devroom X-WR-TIMEZONE;VALUE=TEXT:Europe/Brussels BEGIN:VEVENT METHOD:PUBLISH UID:11667@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T100000 DTEND:20210206T101000 SUMMARY:Welcome and Introduction DESCRIPTION:
Welcome talk and introduction to the Microkernel Devroom at FOSDEM 2021.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_welcome/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Děcký":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11572@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T101000 DTEND:20210206T111000 SUMMARY:The seL4 Report DESCRIPTION:I will provide an update on developments in the seL4 ecosystem in the past 12 months. Highlights include the creation of the seL4 Foundation and some of its activities since, and the functional correctness proof of seL4 on the RISC-V architecture. I will also discuss our work on time protection, a principled and systematic approach to prevention of timing channels and on-going work on its formal verification.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_sel4_report/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gernot Heiser":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11573@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T111000 DTEND:20210206T115500 SUMMARY:The seL4 Foundation DESCRIPTION:The seL4 Foundation was created in April 2020 as a Project of the Linux Foundation. Its aim is to provide an open and neutral framework for developing seL4 and its ecosystem and promote update. The talk will give an overview of the seL4 Foundation, its goals and activities and the benefits of joining.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_sel4_foundation/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="June Andronick":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11170@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T115500 DTEND:20210206T130500 SUMMARY:libioth DESCRIPTION:Microkernels, partial virtual machines and internet of threads are not unrelated. The challenge of this talk is to show that the new libioth providing an effective and flexible support for the internet of threads can open interesting perspectives for a wider range of applications.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_libioth/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Renzo Davoli":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Mikey Goldweber":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11425@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T130500 DTEND:20210206T134500 SUMMARY:Pluggable device drivers for Genode DESCRIPTION:Resilience is often touted as the biggest advantage of component-based systems over monolithic architectures. The catchy part of the story often told is the containment of faults via sandboxing. However, the story has another inconvenient side that often remains untold. Components are interdependent. Whenever a central low-level component fails, dependent software stacks suffer under the outage. The talk presents Genode's recent breakthroughs to address this second part of the story, in particular making the system resilient against flaky device drivers.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_pluggable_device_drivers_for_genode/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Norman Feske":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11537@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T134500 DTEND:20210206T142500 SUMMARY:Hardware acceleration for unikernels DESCRIPTION:Applications demand fast and secure execution in diverse environments (Clouddata centers, Edge Nodes, mobile platforms etc.). Execution efficiency has beenfacilitated by the introduction of specialized compute elements (eg. GPUs), inorder to accelerate specific parts of tasks/workloads (such is imageprocessing). At the same time, too abstract deployment andmanagement burdens, service providers use virtualization and containertechnologies. Eliminating the software overheads of these abstractions,especially in the context of hardware off-load/acceleration is a challenge andrequires a number of factors to be taken into consideration: (a) portability,(b) performance, and (c) security.
In this talk, we attack the first two factors and examine the option ofunikernels and their surrounding ecosystem (application porting frameworks,orchestration frameworks, lightweight virtualization backends) in the contextof hardware acceleration.
We present our efforts in porting a novel hardware acceleration framework,vAccel, to the rumprun unikernel, digging into the internals of semanticabstraction for ML inference, as well as its implementation on rumprun andQEMU/KVM. We describe the frontend/backend driver port, the runtime needed tosupport the actual execution on the hardware and showcase our results in abrief demo of two unikernel frameworks performing ML inference on images.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_hardware_acceleration_for_unikernels/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Charalampos Mainas":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:10895@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T142500 DTEND:20210206T150500 SUMMARY:Is the Time Ripe for Unikernels to Become Mainstream with Unikraft? DESCRIPTION:In this talk we give an update on the Unikraft Linux Foundation open source project, a fully modular and librarized unikernel that aims to provide outstanding performance while making it easy to port off-the-shelf applications into unikernels. In particular, we will go into details how Unikraft (1) fully modularizes OS primitives so that it is easy to customize the unikernel and include only relevant components, (2) exposes a set of composable, performance-oriented APIs in order to make it easy for developers to obtain high performance and (3) aims for POSIX compatibility, already supporting over 130+ syscalls. In addition, there are ongoing efforts to integrate Unikraft into popular frameworks such as Kubernetes and Prometheus in order to finally bring the promise of unikernels to the mainstream. Our recent evaluation using off-the-shelf popular applications such as Nginx, SQLite, and Redis shows that running such applications on Unikraft results in a 30%-50% performance improvement compared to Linux guests. Unikraft images for these apps are around 1MB, require less than 10MB of RAM to run, and boot in around 1ms on top of the VMM time (total boot time 2ms-70ms). During the talk we will show a brief demo. Unikraft is Xen Project incubator project.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_unikraft/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Alexander Jung":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:11668@FOSDEM21@fosdem.org TZID:Europe-Brussels DTSTART:20210206T150500 DTEND:20210206T160500 SUMMARY:State of Microkernels in 2021 DESCRIPTION:Panel discussion and an extended Q&A session on the state of microkernel-based operating systems in 2021 and related topics. The panelists (in order of acceptance):
The discussion will smoothly evolve into the traditional and less formal "microkernel dinner". Please bring your own food and beverages.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernel URL:https:/fosdem.org/2021/schedule/2021/schedule/event/microkernel_state_in_2021/ LOCATION:D.microkernel ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jakub Jermář":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Děcký":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Norman Feske":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Julian Stecklina":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Udo Steinberg":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Matthias Lange":invalid:nomail ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gernot Heiser":invalid:nomail END:VEVENT END:VCALENDAR