I am responsible for the certification of the L4Re runtime environment. And for the application of formal methods at Kernkonzept. Before, I worked as formal methods architect at FireEye. In Dresden until FireEye decided to shut down our office in August 2016. You can find me at. Eisenacher Straße 19, 01309 Dresden. Last modified on 20 Feb 2017 by Hendrik.

Based in Dresden, Germany, we provide software services for the security-sensitive, real-time, and embedded markets. Is built on the principle of a minimal Trusted Computing Base. Components in secure compartments and virtual machines. That includes support for Imag.

Our designs are permissively licensed and developed with collaborators from around the world. We implement the free and open RISC-V ISA. We are pursuing novel security features such as tagged memory. Unlike proprietary offerings, all aspects of the design can be fully audited.

Here is a list of active free, open source microkernel projects. If your project is missing, please let us know. A UNIX-like microkernel operating system, that runs on x86, x86 64, ECO32 and MMIX. It is implemented from scratch and uses nearly no third-party components. To fit nicely into the UNIX philosophy, Escape uses a virtual file system to provide drivers and services. Both can present themselves as a file system or file to the user.