From Michael Hohmuth
Linux-Emulation auf einem Mikrokern
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.
Unfortunately, this paper is only available in German.
More reading about the Linux port to the L4 microkernel
Michael Hohmuth <email@example.com>
Last modified: Wed Feb 5 17:56:16 1997