A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
First-generation p-kernels have a reputation for being too slow and lacking sufficient flexibility. To determine whether LA, a lean second-generation p-kernel, has overcome these limitations, we have repeated several earlier experiments and conducted some novel ones. Moreover, we ported the Linux operating system to run on top of the L4 p-kernel and compared the resulting system with both Linux running native, and MkLinux, a Linux version that executes on top of a first-generation Mach-deriveddoi:10.1145/269005.266660 fatcat:peptnrmws5dvvk5a4m6hbbgbjm