"GNU/MAVERIK: A micro-kernel for large-scale virtual environments."

Roger J. Hubbold et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics