more stuff for xen