Gün Sirer. SPIN – an extensible microkernel for application-specific operating system services (1994)

by B N Bershad, C Chambers, S Eggers, C Maeda, D McNamee, P Pardyak, S Savage, E