wiki:L4 Microkernel Design

L4 Microkernel Design

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.

Last modified 7 years ago Last modified on Jul 26, 2009, 10:27:40 PM