Approach

Take pure micro-kernel approach. Don't co-locate code (Mach) or provide a hardware architecture (exokernel).

Design L4 from scratch---not from a monolithic kernel.

Experiments:

1. Implement L4Linux and compare performance against Linux and MkLinux (port on Mach 3.0).

2. Show extensibility of L4Linux.

3. Port L4 to Alpha (in addition to Pentium).