Build with --enable-xen when mirage-xen-minios is available