Think: A Software Framework for Component-based Operating System Kernels.

Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller

Browse the full USENIX paper archive.