Interface and Execution Models in the Fluke Kernel (1999) [pdf] | Heykuki News