[back to L4 home page]
 

The L4 µ-Kernel Family

L4KA

Fiasco

L4/x86

L3, a predecessor of L4/x86

Site Navigation:

(* = offsite link)

Quick links:

Papers and reports

-

H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, J. Wolter:
The Performance of µ-Kernel-based Systems
(appeared at 16th SOSP; also in ``Wiss. Beiträge zur Informatik,'' TU Dresden, Fakultät Informatik, Heft 1/1997)
\cite{sosp3}

[HTML]
[PostScript]
[Slides/PostScript]

-

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke:
Implementation and Performance of the Mungi Single-Address-Space Operating System
(University of New South Wales technical report UNSW-CSE-TR-9704)
\cite{heiser:impl-mungi}

[Abstract]
[PostScript]

\cite{heiser:impl-mungi}

-

J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, T. Jaeger:
Achieved IPC Performance (Still The Foundation For Extensibility)
(appeared at HotOS IV)
\cite{ipcperf}

[PostScript]

-

T. Jaeger, N. Islam, R. Anand, A. Prakash, J. Liedtke:
Flexible Control of Downloaded Executable Content
(ACM TISSEC)

[PostScript]

-

J. Liedtke, N. Islam, T. Jaeger:
Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes
(appeared at HotOS IV)

[PDF]
[PostScript]

-

J. Liedtke:
Toward real µ-kernels
(appeared in CACM 39(9))
\cite{towards-tr}

[PDF]
[PostScript]

-

Jochen Liedtke:
On Micro-Kernel Construction
(appeared at 15th SOSP)
\cite{sosp2}

[PostScript]

-

Jochen Liedtke:
Improving IPC by Kernel Design
(appeared at 14th SOSP)
\cite{sosp}

[PostScript]

-

Jochen Liedtke:
A Persistent System in Real Use - Experiences of the First 13 Years
(appeared at IWOOOS3)
\cite{persistent}

[PostScript]

-

Jochen Liedtke:
Clans & Chiefs
(Architektur von Rechensystemen)
\cite{clans}

[PostScript]

-

A. Wiggins, G. Heiser:
Fast Address-Space Switching on the StrongARM SA-1100 Processor
(University of New South Wales technical report UNSW-CSE-TR-9906)
\cite{clans}

[PostScript]

-

Jochen Liedtke:
Improved Address Space Switching on Pentium Processors by Transparently Multiplexing User Address Spaces
(GMD technical report)
\cite{segswitch}

[PDF]
[PostScript]

-

Sebastian Schönberg:
The L4 Microkernel on Alpha - Design and Implementation
(TUD.Inf master's thesis)

[PostScript]

-

W. Kühnhauser, J. Liedtke:
Sicherheit in Betriebssystemen
In German. (GMD technical report)
\cite{kuehnhauser/liedtke:sicherheit}

-

Frank Mehnert:
Portierung des SCSI-Gerätetreibers von Linux auf L3
In German.
\cite{mehnert96:beleg}

[PostScript]

-

Michael Hohmuth:
Linux-Emulation auf einem Mikrokern
a paper about the Linux port to the L4 microkernel
In German; the slides are in English. (TUD.Inf master's thesis)
\cite{hohmuth96:l4linux}

[HTML]
[PostScript]
[Slides/PostScript]
[WWW]

-

René Stange:
Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur
In German. (TUD.Inf master's thesis)
\cite{stange96:diplom}

[HTML w/o figures]
[PostScript]

-

Jean Wolter:
Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3
In German. (TUD.Inf technical report)

[HTML]
[PostScript]

Please see also:

Last modified: Thu Jun 21 19:15:09 2001

Operating Systems Group