Thanks - had tried previously but I think my kernel was release not current.You need to upgrade your userland too.
Working on that now. In looking at pkgsrc there is a xentools3-hvm but no xentools33-hvm Will xentools3-hvm work with xentools33? johnh...
-- Manuel Bouyer <bouyer%antioche.eu.org@localhost> NetBSD: 26 ans d'experience feront toujours la difference --