In this talk we will present which changes and extensions to the L4Re microkernel system were required to actually ship L4Re in a commercial product. The talk will be a mix of an experience report and an overview of major features of the L4Re system.
The L4Re microkernel system, or L4Re in short, is a multi-tier system which is composed of the L4Re microkernel, the L4Re runtime environment and applications. L4Re aims at building sytems where components with different security mechanisms require strict isolation. Throughout the last two years L4Re has made the move from a mostly university-centric project into commercial systems.
Speakers: Adam Lackorzynski