problems installing xen

[brook%biology.nmsu.edu@localhost (Brook Milligan)]

I am trying to get xen installed on a server but am having trouble
booting the xen kernels.  Everything is compiled locally from /usr/src
with cvs date 2009.08.01.06.00.00 and from /usr/pkgsrc with cvs tag
pkgsrc-2009Q3.  I have installed two kernels: MONOLITHIC and
XEN3PAE_DOM0.  The xen kernel is compiled from sysutils/xenkernel33.
The entry in /boot.cfg is

menu=Boot Xen with 64MB for PAE dom0:load /netbsd-current-20090801-XEN3PAE_DOM0 
console=pc;multiboot /usr/pkg/xen3-kernel/xen.gz dom0_mem=64M

The MONOLITHIC kernel boots fine (see dmesg below).  In contrast, the
xen kernel immediately writes a long series of 'exit' lines to the
console and then reboots.  All of these kernels (MONOLITHIC or the xen
kernels) boot fine on a laptop.

The primary differences I can think of between these machines are the
CPUs (see below) and the amount of memory (4 Gb on the xen server
vs. 2 Gb on the laptop).

Can anyone identify a problem with this setup?  How can I discover
where the problem is?

Thanks for your help.

Cheers,
Brook

===========================================================================

CPU on xen server:
cpu0: Intel Xeon (686-class), 1996.70 MHz, id 0xf24
cpu0: features  0x3febfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features  0x3febfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR>
cpu0: features  0x3febfbff<SSE,SSE2,SS,HTT,TM>
cpu0: "Intel(R) XEON(TM) CPU 2.00GHz"
cpu0: I-cache 12K uOp cache 8-way, D-cache 8KB 64B/line 4-way
cpu0: L2 cache 512KB 64B/line 8-way
cpu0: ITLB 4K/4M: 64 entries
cpu0: DTLB 4K/4M: 64 entries
cpu0: Initial APIC ID 0
cpu0: Cluster/Package ID 0
cpu0: SMT ID 0
cpu0: family 0f model 02 extfamily 00 extmodel 00

===========================================================================

CPU on laptop:
cpu0: Intel Core 2 (Merom) (686-class), 1995.18 MHz, id 0x6fb
cpu0: features 0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features 0xbfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu0: features 0xbfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu0: features2 
0xe3bd<SSE3,DTES64,MONITOR,DS-CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM>
cpu0: features3 0x20100000<XD,EM64T>
cpu0: "Intel(R) Core(TM)2 Duo CPU     T7300  @ 2.00GHz"
cpu0: I-cache 32KB 64B/line 8-way, D-cache 32KB 64B/line 8-way
cpu0: L2 cache 4MB 64B/line 16-way
cpu0: ITLB 128 4KB entries 4-way
cpu0: DTLB 256 4KB entries 4-way, 32 4MB entries 4-way
cpu0: Initial APIC ID 0
cpu0: Cluster/Package ID 0
cpu0: Core ID 0
cpu0: family 06 model 0f extfamily 00 extmodel 00

===========================================================================

dmesg from MONOLITHIC kernel on xen server:
Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
    2006, 2007, 2008, 2009
    The NetBSD Foundation, Inc.  All rights reserved.
Copyright (c) 1982, 1986, 1989, 1991, 1993
    The Regents of the University of California.  All rights reserved.

NetBSD 5.99.15 (MONOLITHIC) #2: Tue Oct 27 13:37:56 MDT 2009
        
root%example.com@localhost:/mount/src/sys/arch/i386/compile/obj/MONOLITHIC
total memory = 3967 MB
avail memory = 3886 MB
timecounter: Timecounters tick every 10.000 msec
timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
Supermicro P4DP6 (0123456789)
mainbus0 (root)
cpu0 at mainbus0 apid 0: Intel 686-class, 1996MHz, id 0xf24
cpu1 at mainbus0 apid 6: Intel 686-class, 1996MHz, id 0xf24
cpu2 at mainbus0 apid 1: Intel 686-class, 1996MHz, id 0xf24
cpu3 at mainbus0 apid 7: Intel 686-class, 1996MHz, id 0xf24
ioapic0 at mainbus0 apid 2: pa 0xfec00000, version 20, 24 pins
ioapic1 at mainbus0 apid 3: pa 0xfec80000, version 20, 24 pins
ioapic2 at mainbus0 apid 4: pa 0xfec80400, version 20, 24 pins
ioapic3 at mainbus0 apid 5: pa 0xfec81000, version 20, 24 pins
ioapic4 at mainbus0 apid 8: pa 0xfec81400, version 20, 24 pins
acpi0 at mainbus0: Intel ACPICA 20080321
acpi0: X/RSDT: OemId <PTLTD ,  RSDT  ,06040000>, AslId < LTP,00000000>
acpi0: SCI interrupting at int 9
acpi0: fixed-feature power button present
timecounter: Timecounter "ACPI-Fast" frequency 3579545 Hz quality 1000
ACPI-Fast 24-bit timer
npx1 at acpi0 (MATH, PNP0C04): io 0xf0-0xfe irq 13
npx1: reported by CPUID; using exception 16
pcppi1 at acpi0 (SPKR, PNP0800): io 0x61
midi0 at pcppi1: PC speaker (CPU-intensive output)
sysbeep0 at pcppi1
attimer1 at acpi0 (TIME, PNP0100): io 0x40-0x43 irq 0
pckbc1 at acpi0 (KBC0, PNP0303) (kbd port): io 0x60,0x64 irq 1
pckbc2 at acpi0 (MSE0, PNP0F13) (aux port): irq 12
FWH (INT0800) at acpi0 not configured
COM1 (PNP0501) at acpi0 not configured
COM2 (PNP0501) at acpi0 not configured
FDC (PNP0700) at acpi0 not configured
PRT (PNP0401) at acpi0 not configured
acpibut0 at acpi0 (PWRB, PNP0C0C): ACPI Power Button
apm0 at acpi0: Power Management spec V1.2
attimer1: attached to pcppi1
pckbd0 at pckbc1 (kbd slot)
pckbc1: using irq 1 for kbd slot
wskbd0 at pckbd0: console keyboard
pci0 at mainbus0 bus 0: configuration mode 1
pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
pchb0 at pci0 dev 0 function 0
pchb0: vendor 0x8086 product 0x2540 (rev. 0x02)
vendor 0x8086 product 0x2541 (undefined subclass 0x00, revision 0x02) at pci0 
dev 0 function 1 not configured
ppb0 at pci0 dev 2 function 0: vendor 0x8086 product 0x2543 (rev. 0x02)
pci1 at ppb0 bus 1
pci1: i/o space, memory space enabled
vendor 0x8086 product 0x1461 (interrupt system, interface 0x20, revision 0x03) 
at pci1 dev 28 function 0 not configured
ppb1 at pci1 dev 29 function 0: vendor 0x8086 product 0x1460 (rev. 0x03)
pci2 at ppb1 bus 2
pci2: i/o space, memory space enabled
vendor 0x8086 product 0x1461 (interrupt system, interface 0x20, revision 0x03) 
at pci1 dev 30 function 0 not configured
ppb2 at pci1 dev 31 function 0: vendor 0x8086 product 0x1460 (rev. 0x03)
pci3 at ppb2 bus 3
pci3: i/o space, memory space enabled
ppb3 at pci0 dev 3 function 0: vendor 0x8086 product 0x2545 (rev. 0x02)
pci4 at ppb3 bus 4
pci4: i/o space, memory space enabled
vendor 0x8086 product 0x1461 (interrupt system, interface 0x20, revision 0x03) 
at pci4 dev 28 function 0 not configured
ppb4 at pci4 dev 29 function 0: vendor 0x8086 product 0x1460 (rev. 0x03)
pci5 at ppb4 bus 5
pci5: i/o space, memory space enabled
vendor 0x8086 product 0x1461 (interrupt system, interface 0x20, revision 0x03) 
at pci4 dev 30 function 0 not configured
ppb5 at pci4 dev 31 function 0: vendor 0x8086 product 0x1460 (rev. 0x03)
pci6 at ppb5 bus 6
pci6: i/o space, memory space enabled
uhci0 at pci0 dev 29 function 0: vendor 0x8086 product 0x2482 (rev. 0x02)
uhci0: interrupting at ioapic0 pin 16
usb0 at uhci0: USB revision 1.0
uhci1 at pci0 dev 29 function 1: vendor 0x8086 product 0x2484 (rev. 0x02)
uhci1: interrupting at ioapic0 pin 19
usb1 at uhci1: USB revision 1.0
uhci2 at pci0 dev 29 function 2: vendor 0x8086 product 0x2487 (rev. 0x02)
uhci2: interrupting at ioapic0 pin 18
usb2 at uhci2: USB revision 1.0
ppb6 at pci0 dev 30 function 0: vendor 0x8086 product 0x244e (rev. 0x42)
pci7 at ppb6 bus 7
pci7: i/o space, memory space enabled
vga1 at pci7 dev 1 function 0: vendor 0x1002 product 0x4752 (rev. 0x27)
wsdisplay0 at vga1 kbdmux 1: console (80x25, vt100 emulation), using wskbd0
wsmux1: connecting to wsdisplay0
drm at vga1 not configured
fxp0 at pci7 dev 2 function 0: i82550 Ethernet, rev 13
fxp0: interrupting at ioapic0 pin 17
fxp0: Ethernet address 00:30:48:23:3a:81
inphy0 at fxp0 phy 1: i82555 10/100 media interface, rev. 4
inphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
fxp1 at pci7 dev 3 function 0: i82550 Ethernet, rev 13
fxp1: interrupting at ioapic0 pin 18
fxp1: Ethernet address 00:30:48:23:3a:82
inphy1 at fxp1 phy 1: i82555 10/100 media interface, rev. 4
inphy1: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
ichlpcib0 at pci0 dev 31 function 0
ichlpcib0: vendor 0x8086 product 0x2480 (rev. 0x02)
timecounter: Timecounter "ichlpcib0" frequency 3579545 Hz quality 1000
ichlpcib0: 24-bit timer
ichlpcib0: TCO (watchdog) timer configured.
piixide0 at pci0 dev 31 function 1
piixide0: Intel 82801CA IDE Controller (ICH3) (rev. 0x02)
piixide0: bus-master DMA support present
piixide0: primary channel configured to compatibility mode
piixide0: primary channel interrupting at ioapic0 pin 14
atabus0 at piixide0 channel 0
piixide0: secondary channel configured to compatibility mode
piixide0: secondary channel interrupting at ioapic0 pin 15
atabus1 at piixide0 channel 1
ichsmb0 at pci0 dev 31 function 3: vendor 0x8086 product 0x2483 (rev. 0x02)
ichsmb0: interrupting at ioapic0 pin 17
iic0 at ichsmb0: I2C bus
isa0 at ichlpcib0
lpt0 at isa0 port 0x378-0x37b irq 7
com0 at isa0 port 0x3f8-0x3ff irq 4: ns16550a, working fifo
com1 at isa0 port 0x2f8-0x2ff irq 3: ns16550a, working fifo
fdc0 at isa0 port 0x3f0-0x3f7 irq 6 drq 2
timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0
fd0 at fdc0 drive 0: 1.44MB, 80 cyl, 2 head, 18 sec
uhub0 at usb0: vendor 0x8086 UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub0: 2 ports with 2 removable, self powered
uhub1 at usb1: vendor 0x8086 UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub1: 2 ports with 2 removable, self powered
uhub2 at usb2: vendor 0x8086 UHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub2: 2 ports with 2 removable, self powered
wd0 at atabus0 drive 0: <ST340016A>
wd0: drive supports 16-sector PIO transfers, LBA addressing
wd0: 38166 MB, 77545 cyl, 16 head, 63 sec, 512 bytes/sect x 78165360 sectors
wd0: 32-bit data port
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 5 (Ultra/100)
wd0(piixide0:0:0): using PIO mode 4, Ultra-DMA mode 5 (Ultra/100) (using DMA)
atapibus0 at atabus1: 2 targets
cd0 at atapibus0 drive 0: <MATSHITA CR-177, , 7T0D> cdrom removable
cd0: 32-bit data port
cd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 2 (Ultra/33)
cd0(piixide0:1:0): using PIO mode 4, Ultra-DMA mode 2 (Ultra/33) (using DMA)
Kernelized RAIDframe activated
pad0: outputs: 44100Hz, 16-bit, stereo
audio0 at pad0: half duplex
boot device: wd0
root on wd0a dumps on wd0b
root file system type: ffs
wsdisplay0: screen 1 added (80x25, vt100 emulation)
wsdisplay0: screen 2 added (80x25, vt100 emulation)
wsdisplay0: screen 3 added (80x25, vt100 emulation)
wsdisplay0: screen 4 added (80x25, vt100 emulation)