direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

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.

See l4openbsd.org for more details on this project.

 

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Postal Address

Technische Universität Berlin - An-Institut Telekom Innovation Laboratories
Fakultät IV
Sekr. TEL17
Ernst-Reuter-Platz 7
10587 Berlin

Assistant

Claudia Petzsch
+49 - 30 - 8353 58 681
TEL
Raum TEL17