The L4 Microkernel on Alpha

Design and Implementation

Sebastian Sch?onberg

September 27, 1996