Their system daemon project's thesis: http://www.helenos.org/doc/theses/mk-thesis.pdf