2 Ergebnisse für: vfiasco

  • Thumbnail
    http://os.inf.tu-dresden.de/vfiasco/

    The VFiasco project: Towards a verified operating-system kernel. Overview, status, news

  • Thumbnail
    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…



Ähnliche Suchbegriffe