2 Ergebnisse für: vfiasco
-
The VFiasco Project
http://os.inf.tu-dresden.de/vfiasco/
The VFiasco project: Towards a verified operating-system kernel. Overview, status, news
-
L4 (Mikrokern) | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/index.php?title=L4_(Mikrokern)
L4 ist der Name einer Familie von Mikrokernen, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). Inhaltsverzeichnis[Anzeigen] Entwicklung Der erste L4-Kern wurde von Liedtke am GMD-Forschungszentrum…