Interface and Execution Models in the Fluke Kernel (1999) [pdf]usenix.org8 pointsvezzy-fnord11 years ago