TU Berlin

Security in TelecommunicationsL4OpenBSD


Inhalt des Dokuments

zur Navigation


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.

See l4openbsd.org for more details on this project.




Schnellnavigation zur Seite über Nummerneingabe