Home - Topics - Papers - Blog - CV - Photos - Funny

Microkernels

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


Bryan Ford