xen domain manager used in XCP