Table of Contents
For Distributed Systems grad class.
Title Slide
Motivation
Approach
L4 Essentials
Linux on L4
More Linux on L4
Methodology
Microbenchmarks
Macrobenchmarks
Extensibility
Specific Examples
Related Work
Summary