Building todays hg unstable, getting this: /tmp/SBo/xen-4.2.0-rc3-pre/stubdom/mini-os-x86_64-c/main.o:/tmp/SBo/xen-4.2.0-rc3-pre/extras/mini-os/main.c:187: first defined here make[1]: *** [/tmp/SBo/xen-4.2.0-rc3-pre/stubdom/mini-os-x86_64-c/mini-os] Error 1 make[1]: Leaving directory `/tmp/SBo/xen-4.2.0-rc3-pre/extras/mini-os'' make: *** [c-stubdom] Error 2 make: Leaving directory `/tmp/SBo/xen-4.2.0-rc3-pre/stubdom'' Patch from here fixes it: http://lists.xen.org/archives/html/xen-devel/2012-08/msg00870.html Regards, mario