Welcome to L4OpenBSD

OpenBSD is a free, multi-platform 4.4BSD-based UNIX-like operating system. The development focus is on strong security. In the past, the OpenBSD project has come up with a number of new technologies to fix security problems in software.
Even though OpenBSD has had a good security record for a very long time now, there are still bugs which may cause severe damage to the whole system. Our solution strives to take it to the next level. The OpenBSD kernel runs as a deprivileged userland application on top of a microkernel. That allows to isolate security critical parts from the rest of the system.

What is L4OpenBSD?

L4OpenBSD is a port of the OpenBSD operating system to the Fiasco.OC microkernel. It is derived from the L4Linux project, which is developed at the Technische Universität Dresden. The port is binary compatible with the normal OpenBSD kernel. Therefore it enables us to run OpenBSD applications on top of a microkernel.
Currently we have an OpenBSD 4.8 release on the i386 platform. We are working on an ARM release as well.

Where do I get L4OpenBSD?

Our solution is completely open source and you can go ahead and check out the code or try it out with our demo images.

Who we are

The L4OpenBSD project is joint work of the Operating Systems Group at the Technische Universität Dresden and the chair of Security in Telecommunications at the University of Technology Berlin.