Interface and Execution Models in the Fluke Kernel	Feb 24 1999
The Flux OSKit: A Substrate for Kernel and Language Research	Oct 6 1997
The Flux OS Toolkit: Reusable Components for OS Implementation	May 5 1997
CPU Inheritance Scheduling	Oct 30 1996
Microkernels Meet Recursive Virtual Machines	Oct 30 1996
User-level Checkpointing Through Exportable Kernel State	Oct 27 1996
The Persistent Relevance of the Local Operating System to Global Applications	Sep 9 1996
Evolving Mach 3.0 to A Migrating Thread Model	Jan 17 1994
Microkernels Should Support Passive Objects	Dec 9 1993
In-Kernel Servers on Mach 3.0: Implementation and Performance	Apr 19 1993
Notes on Thread Models in Mach 3.0	Apr 1 1993

Microkernels