DOOM port as a xen guest kernel