On Tue, 03 Mar 2015 23:33:53 Manuel Bouyer wrote: > Do you have a /netbsd in this domU ? Does it match the booted kernel ? Yes and No. That explains it, on this one system the /netbsd accidentally got the kern-GENERIC rather than the kern-XEN3_DOMU. Makes perfect sense now. cheers mark