The Micro-Choices Operating System

Micro-Choices is a re-design of the original Choices operating system. We've attempted to build on the strengths of Choices and resdesign the problematic portions of the design.

Selected Publications and Other Works

Here are some postscript papers, publications, etc. on Micro-Choices. Some of these are works in progress.

Nano-Kernel

A Case For Nano-Kernels

HOTOS Paper

RPC - Virtual Memory Performance

Virtual Hardware - uChoices Design

ATM Objects

If you have questions or comments about the Systems Software Research Group send them to

Professor Campbell / campbell@cs.uiuc.edu