Veranstaltung/L4 Microkernel Design

Aus LaborWiki
Wechseln zu: Navigation, Suche

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.