Shouldn't there be some test for xen here?