On Sun, 7 Jul 2013, Erik Fair wrote:
BIOS settings, of course, cover the gamut - do you have any specific suggestions as to which BIOS settings to tweak or change, bearing in mind that NetBSD 6.1 already runs just fine?
A wild stab in the dark is the C1E support in the CPU section. This caused problems with NetBSD < 6, perhaps with Xen a similar problem reoccurs?
-- Stephen