BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Pentabarf//Schedule 0.3//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALDESC;VALUE=TEXT:Microkernels and Component-based OS devroom X-WR-CALNAME;VALUE=TEXT:Microkernels and Component-based OS devroom X-WR-TIMEZONE;VALUE=TEXT:Europe/Brussels BEGIN:VEVENT METHOD:PUBLISH UID:5691@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T103000 DTEND:20170204T103500 SUMMARY:Welcoming and Introduction DESCRIPTION:
A short introduction of the devroom and some warm words.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_welcoming_and_introduction/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Josef Söntgen":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5632@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T104500 DTEND:20170204T113000 SUMMARY:A kernel in a library DESCRIPTION:A fundamental aspect of the Genode OS project always was the support for various kernels as back-end. It remarkably raised testing versatility and provided a high flexibility to users and developers. But supporting the Genode API on self-contained third-party kernels is sometimes also accompanied with deficiencies, redundancies, or work-arounds. To also have the option of a basic kernel without such compromises, the custom Genode kernel was developed. Its main distinguishing mark may be that it not only trusts the Genode Core-component but even more is a mere library to it. The implications of this new design and other characteristics of the custom Genode kernel, such as scheduling, capabilities, and ARM virtualization, are discussed in this lecture.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_kernel_library/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Stein":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:4999@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T114500 DTEND:20170204T123000 SUMMARY:AMENDMENT HelenOS in the year of the fire monkey DESCRIPTION:HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. HelenOS does not aim to be a clone of any existing operating system and trades compatibility with legacy APIs for cleaner design. Most of HelenOS components have been made to order specifically for HelenOS so that its essential parts can stay free of glue code, franken-components and the maintenance burden incurred by them. In this talk I will do the annual HelenOS project update.
Please note that the talk will be given by Martin Děcký instead of Jakub Jermář who, caused by illness, will not attend FOSDEM.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_helenos_year_of_the_fire_monkey/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Děcký":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5572@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T124500 DTEND:20170204T131000 SUMMARY:Deterministic replay support for Genode components DESCRIPTION:we are modifying Nova kernel to make it support temporal redundancy for user processes running Genode components. Every time a process releases the CPU, we manage to restart it from its last starting point and re-run the same portion of the process code. An practical application of this could be an implementation of a fault tolerant system. At the end of the two executions, one may compare their memory footprints to detect an eventual fault due for example to SEU. We are also interested in the performance penalty this would induce on the overall systems compared to existing redundancy models.In this talk, we will present how Genode components performances are impacted by this type of redundancy. Possible choices and remaining challenges for extending this model for multiprocessor environment will also be discussed.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_replay_support/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Mahoukpego Parfait Tokponnon":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5001@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T132500 DTEND:20170204T141000 SUMMARY:Redox OS DESCRIPTION:Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism.
So how do we get there? By keeping the kernel minimal, both in terms of syscalls and in terms of size. By writing the code in Rust, a modern, memory-safe and type-safe systems programming language. By maintaining minimal privileges, through a general capability-based system.
Redox is an ambitious project, but it already runs on real hardware. Let's take a look.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_redox_os/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="David Teller":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5564@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T142500 DTEND:20170204T151000 SUMMARY:Introducing kernel-agnostic Genode executables DESCRIPTION:Genode recently gained the ability to execute the same binary executables on kernels as different as seL4, NOVA, or Linux. Such kernel-independent executables are created via a regular tool chain and executed natively on the machine. The talk explains how it works, presents the challenges that had to be overcome, and gives an outlook of how Genode will leverage this ability in the future. The talk will be presented on a laptop running a Genode system and will be accompanied with live demonstrations.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_kernel_agnostic_genode_executables/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Norman Feske":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5567@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T152500 DTEND:20170204T161000 SUMMARY:Secure Microkernel for Deeply Embedded Devices DESCRIPTION:Embedded system development is a complex area in which the developers need to have a deep understanding of the underlying hardware with its configurations and interfaces, and one of the solutions to reduce this complexity is to utilize an operating system. This talk will introduce F9 microkernel aimed at low resources embedded systems powered by ARM Cortex-M microprocessors, allowing to perform real-time activities while keeping the drivers and the application isolated by a secure layer.
F9 microkernel proved itself extremely small and simple to use while still maintaining the security of the system regarding the temporal constraints with a trusted computing base (TCB) as small as 3kLoC, which is important for safety, security and reliability in mission-critical embedded systems. This talk will also present the prototype at its early stages built to experiment with the idea of third-generation microkernels heavily inspired by seL4 for resource-constrained devices with fairly strong memory protection.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_microkernel_for_embedded_devices/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jim Huang":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5537@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T162500 DTEND:20170204T165500 SUMMARY:TCP/IP for MINIX, the good, the bad, the ugly DESCRIPTION:I wrote inet (the TCP/IP stack on MINIX) for two reasons: I like to come up with my own designs for everything and, most of all, I had to impress Andy Tanenbaum enough to become a Ph.D. student. Inet had to fit in with MINIX. In particular, it had to live with minimal changes to the MINIX code base. At the same time, there were quite a few areas where I felt sockets and the BSD TCP/IP implementation were wrong.
In hindsight, there is a lot that I did not know and got wrong. I this talk, I will look at how inet follows the structure of MINIX, what works, and what went wrong.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_tcpip_for_minix/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Philip Homburg":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5626@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T171000 DTEND:20170204T174000 SUMMARY:The VFS paradigm from the perspective of a component OS DESCRIPTION:The virtual file system (switch) is an instrinsic element of traditional operating systems and the majority of alternative OSes alike. For the most part, this is caused by existing applications that depend on the file abstraction and to some extent on a global view on system resources. In contrast, component-based OSes with strong security ambitions strive to apply the principle of least authority and shun one global view on the system. This was the starting for the VFS developments for Genode. The talk will present our design considerations and the current state of the VFS in Genode as a component and capability-based microkernel operating system.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_vfs_component_os/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Christian Helmuth":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:5554@FOSDEM17@fosdem.org TZID:Europe-Brussels DTSTART:20170204T175500 DTEND:20170204T182500 SUMMARY:Virtualization on the Hurd DESCRIPTION:Virtualization is one aspect of our everyday life where multiserveroperating systems can shine. Given the right underlying architecture,one gets robust and fine-grained virtualization with little effort andcode. Achieving the same on conventional monolithic systems requirescareful and invasive changes to the whole system, and the securitymerely depends on the implementation at hand.
This talk describes and demos how both fine- and coarse-grainedvirtualization is implemented on the Hurd, and how virtualizationhelps users gain freedom #0, i.e. the freedom to shape her computationenvironment anyway she wants.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels and Component-based OS URL:https:/fosdem.org/2017/schedule/2017/schedule/event/microkernel_virtualization_on_hurd/ LOCATION:AW1.125 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Justus Winter":invalid:nomail END:VEVENT END:VCALENDAR