A puppet module to set up a user-mode-linux host