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