Manuel Bouyer kirjoitti:

> Adding mem=3072M on the xen.gz boot line worked around it for me ...

:-)

ROOT xen3:~> xm list
Name                                      ID   Mem VCPUs      State   Time(s)
Domain-0                                   0   256     1     r-----     11.9
netbsd1                                    1   255     1     -b----      0.7

ROOT xen3:~> cat /grub/menu.lst
default=0
timeout=10
title           NetBSD/xen with RAID-1
root            (hd0,a)
kernel          (hd0,a)/xen.gz dom0_mem=262144 mem=3072M
module          (hd0,a)/netbsd root=/dev/hda1 ro console=tty0

title           NetBSD/i386 GENERIC
root            (hd0,a)
kernel          /netbsd.GENERIC


This makes me wonder, what could be causing this? BIOS bug? Does this affect 
Linux dom0 as well?

Martti