FIWI, I could build a kernel on a netbsd-5 XEN3_DOM0 amd64 without troubles. what command did you run exactly ? -- Manuel Bouyer <bouyer%antioche.eu.org@localhost> NetBSD: 26 ans d'experience feront toujours la difference --