On Fri, 15 Apr 2005 08:55:41 +0300 Martti Kuparinen <martti.kuparinen@iki.fi> wrote: > But please boot a non-xen GENERIC kernel and look at the dmesg output. > Also remember that xen (/xen.gz) takes some memory (32 MB or was it 64) When booting a NetBSD/i386 kernel, the memory is detected perfectly. Maybe this memory is used by Xen? (xen.gz).