The IT project fair Output.DD 2025 opens its doors on June 19, and Kernkonzept will once again be there on the familiar premises of the Faculty of Computer Science. This year, we have a special treat for aspiring operating system engineers!
Operating systems are the foundation of every software powered device we are using – but their importance for safety and security remains largely unnoticed, even in the IT world. Since our foundation as a spin-off from TU Dresden in 2012, Kernkonzept has been developing the open-source L4Re Operating System Framework: a high-security, microkernel-based operating system and hypervisor platform that is running in various safety-, security-, and mission-critical applications, but also in safety-critical markets like automotive and embedded systems.
To learn how exactly L4Re works by minimizing the attack surface of an application through modularization and reduction of dependencies between components, you can have a look at our L4Re Hypervisor demo and play around with our Jenga stack – which we have modified to show how the L4Re Microkernel is providing the foundation to make an operating system virtually uncrashable.
And if you are one of the lucky winners of our prize draw, you can also start your first hands-on experience with L4Re!
We have set up 3 Raspberry Pi 4B (with Cortex A72 Quad Core) with an OS image of L4Re and several virtual machines – and we will raffle these off to 3 of our booth visitors!
With the L4Re OS image, you can take your first steps applying L4Re; e. g., setting up a secure on-device firewall with OpenWRT, which runs in one of the VMs.
Come see us at our booth in the main hall of Andreas-Pfitzmann-Bau, and learn how our microkernel-based L4Re Operating System Framework is revolutionizing cybersecurity right here in Dresden!
Output DD on June 19 is an open event, no registration is needed.
Legal notice about the competition
The organizer of the competition is Kernkonzept GmbH, Buchenstraße 16b, 01097 Dresden.
Participation in the competition is only permitted to persons aged 18 and over. To participate, you must provide your name and e-mail address. Employees of Kernkonzept GmbH are excluded from participation.
The competition will take place on 19.06.2025 as part of the Output.DD event between 3 PM and 6 PM. All entries will be entered into a prize draw for 3 Raspberry Pi 4B with L4Re setup. The winners will be drawn and announced on site. The prizes will be handed over on site. Should the winner not be present, he or she will be notified by e-mail.
Participation is voluntary. Legal recourse is excluded. No guarantee is given for the prizes.
The personal data collected as part of the competition will be used exclusively for company-related purposes by Kernkonzept GmbH. Further information on the handling of personal data can be found in our privacy policy at www.kernkonzept.com.