Xen version 3.0.3-1 (Debian 3.0.3-0-2) (ultrotter@debian.org) (gcc version 4.1.2 20061028 (prerelease) (Debian 4.1.1-19)) Thu Nov  2 20:28:13 CET 2006
 Latest ChangeSet: Tue Oct 17 22:09:52 2006 +0100
(XEN) Command line: /boot/xen-3.0.3-1-i386.gz
(XEN) WARNING: Only the first 4 GB of the physical memory map can be accessed
(XEN)          by Xen in 32-bit mode. Truncating the memory map...
(XEN) Physical RAM map:
(XEN)  0000000000000000 - 000000000009f400 (usable)
(XEN)  000000000009f400 - 00000000000a0000 (reserved)
(XEN)  00000000000f0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000cffc8000 (usable)
(XEN)  00000000cffc8000 - 00000000cffd0000 (ACPI data)
(XEN)  00000000cffd0000 - 00000000d0000000 (reserved)
(XEN)  00000000fec00000 - 00000000fed00000 (reserved)
(XEN)  00000000fee00000 - 00000000fee10000 (reserved)
(XEN)  00000000ffc00000 - 0000000100000000 (reserved)
(XEN) System RAM: 3327MB (3407260kB)
(XEN) Xen heap: 10MB (10368kB)
(XEN) PAE disabled.
(XEN) found SMP MP-table at 000f4f80
(XEN) DMI 2.3 present.
(XEN) Using APIC driver default
(XEN) ACPI: RSDP (v002 HP                                    ) @ 0x000f4f00
(XEN) ACPI: XSDT (v001 HP     P56      0x00000002 Ò 0x0000162e) @ 0xcffc8300
(XEN) ACPI: FADT (v003 HP     P56      0x00000002 Ò 0x0000162e) @ 0xcffc8380
(XEN) ACPI: SPCR (v001 HP     SPCRRBSU 0x00000001 Ò 0x0000162e) @ 0xcffc8100
(XEN) ACPI: MCFG (v001 HP     ProLiant 0x00000001  0x00000000) @ 0xcffc8180
(XEN) ACPI: HPET (v001 HP     P56      0x00000002 Ò 0x0000162e) @ 0xcffc81c0
(XEN) ACPI: SPMI (v005 HP     ProLiant 0x00000001 Ò 0x0000162e) @ 0xcffc8200
(XEN) ACPI: MADT (v001 HP     00000083 0x00000002  0x00000000) @ 0xcffc8240
(XEN) ACPI: DSDT (v001 HP         DSDT 0x00000001 INTL 0x20030228) @ 0x00000000
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
(XEN) Processor #0 6:15 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x04] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x06] lapic_id[0x06] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
(XEN) Processor #1 6:15 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x05] lapic_id[0x05] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] disabled)
(XEN) ACPI: LAPIC (acpi_id[0x07] lapic_id[0x07] disabled)
(XEN) ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])
(XEN) ACPI: IOAPIC (id[0x08] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 high edge)
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
(XEN) ACPI: IRQ0 used by override.
(XEN) ACPI: IRQ2 used by override.
(XEN) ACPI: IRQ9 used by override.
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) ACPI: HPET id: 0x10228201 base: 0xfed00000
(XEN) Using ACPI (MADT) for SMP configuration information
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Initializing CPU#0
(XEN) Detected 1600.087 MHz processor.
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 0
(XEN) VMX disabled by Feature Control MSR.
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#0.
(XEN) CPU0: Intel(R) Xeon(R) CPU            5110  @ 1.60GHz stepping 06
(XEN) Booting processor 1/1 eip 90000
(XEN) Initializing CPU#1
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 1
(XEN) VMX disabled by Feature Control MSR.
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#1.
(XEN) CPU1: Intel(R) Xeon(R) CPU            5110  @ 1.60GHz stepping 06
(XEN) Total of 2 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) checking TSC synchronization across 2 CPUs: passed.
(XEN) Platform timer is 14.318MHz HPET
(XEN) Brought up 2 CPUs
(XEN) Machine check exception polling timer started.
(XEN) *** LOADING DOMAIN 0 ***
(XEN) Domain 0 kernel supports features = { 0000001f }.
(XEN) Domain 0 kernel requires features = { 00000000 }.
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   06000000->08000000 (801863 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: b0100000->b0370474
(XEN)  Init. ramdisk: b0371000->b0d52400
(XEN)  Phys-Mach map: b0d53000->b106a11c
(XEN)  Start info:    b106b000->b106b46c
(XEN)  Page tables:   b106c000->b1072000
(XEN)  Boot stack:    b1072000->b1073000
(XEN)  TOTAL:         b0000000->b1400000
(XEN)  ENTRY ADDRESS: b0100000
(XEN) Dom0 has maximum 2 VCPUs
(XEN) Initrd len 0x9e1400, start at 0xb0371000
(XEN) Scrubbing Free RAM: ..................................done.
(XEN) Xen trace buffers: disabled
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen).