Master's Thesis:
Linux-Emulation auf einem Mikrokern

From Michael Hohmuth <hohmuth@inf.tu-dresden.de>

Abstract

The aim of this work was to port the Linux operating system to the L4 microkernel. We discussed several ways to achieve this goal, and designed and implemented a Linux server running on L4 which required only minimal changes to the Linux kernel's architecture-independent parts and device drivers. The server's ABI is binary compatible to Linux/i386.

Full Paper

Unfortunately, this paper is only available in German.
  • Diplomarbeit: Linux-Emulation auf einem Mikrokern (hypertext document)
  • same document in PostScript

    • In English:

  • Slides from a talk about this project (Postscript document)

    • More reading about the Linux port to the L4 microkernel

  • Reading about L4
  • Linux on L4 homepage
  • Linux Architecture-Specific Kernel Interfaces (hypertext document, also available as PostScript)
  • Related work: Lites port to L3, an earlier project
  • Related work: Jean Wolter's master's thesis on Implementing a Multi-Server Unix Emulation on L3 (in German)
    • Michael Hohmuth <hohmuth@inf.tu-dresden.de>
    Last modified: Wed Feb 5 17:56:16 1997