Veranstaltung/L4 Microkernel Design: Unterschied zwischen den Versionen

Aus LaborWiki
Wechseln zu: Navigation, Suche
Keine Bearbeitungszusammenfassung
K (Marcus verschob die Seite L4 Microkernel Design nach Veranstaltung/L4 Microkernel Design, ohne dabei eine Weiterleitung anzulegen)
(kein Unterschied)

Version vom 29. November 2014, 23:43 Uhr

Facts

  • Was: L4 Microkernel Design
  • Wann: Dienstag, den 26.09 19:30
  • Wer: Marcus Brinkmann
  • Wo: Labor

Teaser

Kernel bilden die Grundlage fuer Betriebsssyteme. Der L4 Microkernel ist ein moderner Microkern der zweiten Generation. Es wird erklaert, wie der L4 Kern strukturiert ist, welche Vorteile sich daraus ergeben, und wie man aus den elementaren Operationen ganze Betriebssysteme baut.