Juan RP wrote:
> 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).

http://www.cl.cam.ac.uk/Research/SRG/netos/xen/readmes/interface/interface.html#SECTION00410000000000000000