M07 L4/Fiasco.OC - A Microkernel OS Designed for Security, Real-Time And Reliability

Printer-friendly versionPDF version

Agenda

Agenda

TimeLabelSession
14:30M07.1Session 1
00:00M07.1.1Why we need microkernels
Hermann Härtig, Technische Universität Dresden, DE

00:00M07.1.2Isolation for Security, Portability, and Real-Time
Adam Lackorzynski, Kernkonzept GmbH, DE

00:00M07.1.3Building a Secure System on top of Fiasco.OC
Carsten Weinhold, Technische Universität Dresden, DE

00:00M07.1.4Fiasco.OC for Reliability and Fault Tolerance
Björn Döbel, Technische Universität Dresden, DE

16:30M07.2Session 2
00:00M07.2.1Hands On Session (Please bring your laptop)

00:00M07.2.2Practical Introduction to running L4/Fiasco.OC

00:00M07.2.3System Setup and Application Development

Groups: