[Xen-users] Xen 4.4/Linux 3.18 fail to boot on MinnowBoard MAX hardware

["C. B." <cbrookes@xxxxxxxxx>]

I am trying to run Xen 4.4 on a MinnowBoard MAX which can only do EFI booting. I have a compiled xen-4.4 EFI loader in /boot/efi, using this configuration in xen.cfg:

[global]

default=base-xen

[base-xen]

options=console=vga,com1 com1=115200 loglvl=all apic_verbosity=debug iommu=debug dom0_mem=256M,max:256M dom0pvh=true

kernel=kgen318 console=hvc0 earlyprintk=xen nomodeset initcall_debug debug loglevel=10 console=ttyS0,115200n8

ramdisk=rgen318

kgen318 Âis an Ubuntu Linux 3.18RC7 compiled with CONFIG_XEN_EFI=y

The same kgen318 kernel boots on the board natively without issue.Â

When booted under xen, the process hangs at LOADING DOMAIN 0.Â

Any ideas? I tried Xen 4.5RC3 and it actually hangs a lot earlier, crashing somewhere in the EFI RAM map enumeration (http://pastebin.com/mfdKXfNt)

Anyway, here is the log from the (somewhat) more successful 4.4. boot attempt:

EFI Shell version 2.40 [1.0]

Current running mode 1.1.2

Device mapping table

 fs0   :Removable HardDisk - Alias hd15a0b blk0Â

ÂÂ Â Â Â Â PciRoot(0x0)/Pci(0x14,0x0)/USB(0x0,0x0)/HD(1,GPT,B29DDD80-B8B5-4B82-822E-69EB9583876B,0x800,0x100000)

 blk0  :Removable HardDisk - Alias hd15a0b fs0Â

ÂÂ Â Â Â Â PciRoot(0x0)/Pci(0x14,0x0)/USB(0x0,0x0)/HD(1,GPT,B29DDD80-B8B5-4B82-822E-69EB9583876B,0x800,0x100000)

 blk1  :Removable HardDisk - Alias (null)

ÂÂ Â Â Â Â PciRoot(0x0)/Pci(0x14,0x0)/USB(0x0,0x0)/HD(2,GPT,DC98A3CD-E84B-45E5-829F-BE9941C9FBAB,0x100800,0x57073000)

 blk2  :Removable HardDisk - Alias (null)

ÂÂ Â Â Â Â PciRoot(0x0)/Pci(0x14,0x0)/USB(0x0,0x0)/HD(3,GPT,06B7E4F5-EB31-4532-A983-799F5B5B9272,0x57173800,0x3D2800)

 blk3  :Removable BlockDevice - Alias (null)

ÂÂ Â Â Â Â PciRoot(0x0)/Pci(0x14,0x0)/USB(0x0,0x0)

Press ESC in 5 seconds to skip startup.nsh, any other key to continue.Â

Shell> fs0:

fs0:\> xen-4.4.0.efi -basevideo

Xen 4.4.0 (c/s ) EFI loader  2,250,678 xen-4.5.0-rc.efi

Using configuration file 'xen.cfg'

kgen318: 0x00000000737be000-0x0000000073df67f018

rgen318: 0x0000000072619000-0x00000000737bd895g

(XEN) Xen version 4.4.0 (dsd@xxxxx) (gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2) debug=n Wed Dec 3 13:55:23 CST 2014

(XEN) Latest ChangeSet: 590,507 bytes

(XEN) Bootloader: EFI

(XEN) Command line: console=vga,com1 com1=115200 loglvl=all apic_verbosity=debug iommu=debug dom0_mem=256M,max:256MÂ

(XEN) Video information:

(XEN)Â VGA is graphics mode 800x600, 32 bpp

(XEN) Disc information:

(XEN)Â Found 0 MBR signatures

(XEN)Â Found 1 EDD information structures

(XEN) EFI RAM map:

(XEN)Â 0000000000000000 - 000000000008f000 (usable)

(XEN)Â 000000000008f000 - 0000000000090000 (ACPI NVS)

(XEN)Â 0000000000090000 - 000000000009e000 (usable)

(XEN)Â 000000000009e000 - 00000000000a0000 (reserved)

(XEN)Â 0000000000100000 - 0000000020000000 (usable)

(XEN)Â 0000000020000000 - 0000000020100000 (reserved)

(XEN)Â 0000000020100000 - 0000000073df8000 (usable)

(XEN)Â 0000000073df8000 - 0000000073df9000 (ACPI data)

(XEN)Â 0000000073df9000 - 0000000073dfb000 (reserved)

(XEN)Â 0000000073dfb000 - 0000000073dfc000 (ACPI data)

(XEN)Â 0000000073dfc000 - 0000000073e02000 (reserved)

(XEN)Â 0000000073e02000 - 0000000073e03000 (ACPI data)

(XEN)Â 0000000073e03000 - 0000000073e5d000 (reserved)

(XEN)Â 0000000073e5d000 - 0000000073e71000 (ACPI NVS)

(XEN)Â 0000000073e71000 - 0000000073e82000 (ACPI data)

(XEN)Â 0000000073e82000 - 0000000073e83000 (ACPI NVS)

(XEN)Â 0000000073e83000 - 0000000073e84000 (ACPI data)

(XEN)Â 0000000073e84000 - 0000000073ed5000 (ACPI NVS)

(XEN)Â 0000000073ed5000 - 0000000073ed7000 (reserved)

(XEN)Â 0000000073ed7000 - 0000000073ee4000 (ACPI NVS)

(XEN)Â 0000000073ee4000 - 0000000073ee6000 (reserved)

(XEN)Â 0000000073ee6000 - 0000000073ee7000 (ACPI NVS)

(XEN)Â 0000000073ee7000 - 0000000073eed000 (reserved)

(XEN)Â 0000000073eed000 - 0000000073eee000 (ACPI NVS)

(XEN)Â 0000000073eee000 - 0000000073ef0000 (ACPI data)

(XEN)Â 0000000073ef0000 - 0000000073ef2000 (ACPI NVS)

(XEN)Â 0000000073ef2000 - 0000000079b4a000 (usable)

(XEN)Â 0000000079b4a000 - 0000000079b4b000 (reserved)

(XEN)Â 0000000079b4b000 - 0000000079c5c000 (usable)

(XEN)Â 0000000079c5c000 - 0000000079c5f000 (ACPI NVS)

(XEN)Â 0000000079c5f000 - 0000000079c9e000 (usable)

(XEN)Â 0000000079c9e000 - 0000000079ca0000 (reserved)

(XEN)Â 0000000079ca0000 - 0000000079ca3000 (usable)

(XEN)Â 0000000079ca3000 - 0000000079ca5000 (reserved)

(XEN)Â 0000000079ca5000 - 0000000079cc6000 (usable)

(XEN)Â 0000000079cc6000 - 0000000079cc8000 (reserved)

(XEN)Â 0000000079cc8000 - 0000000079cc9000 (ACPI NVS)

(XEN)Â 0000000079cc9000 - 0000000079d92000 (usable)

(XEN)Â 0000000079d92000 - 0000000079d93000 (ACPI NVS)

(XEN)Â 0000000079d93000 - 0000000079d94000 (usable)

(XEN)Â 0000000079d94000 - 0000000079d95000 (ACPI NVS)

(XEN)Â 0000000079d95000 - 0000000079dc5000 (usable)

(XEN)Â 0000000079dc5000 - 0000000079dc8000 (reserved)

(XEN)Â 0000000079dc8000 - 0000000079dc9000 (usable)

(XEN)Â 0000000079dc9000 - 0000000079dca000 (reserved)

(XEN)Â 0000000079dca000 - 0000000079dcc000 (usable)

(XEN)Â 0000000079dcc000 - 0000000079dcd000 (reserved)

(XEN)Â 0000000079dcd000 - 0000000079de3000 (usable)

(XEN)Â 0000000079de3000 - 0000000079e06000 (reserved)

(XEN)Â 0000000079e06000 - 0000000079e13000 (usable)

(XEN)Â 0000000079e13000 - 0000000079e14000 (reserved)

(XEN)Â 0000000079e14000 - 0000000079e1a000 (usable)

(XEN)Â 0000000079e1a000 - 0000000079e1c000 (reserved)

(XEN)Â 0000000079e1c000 - 0000000079e61000 (usable)

(XEN)Â 0000000079e61000 - 0000000079e65000 (reserved)

(XEN)Â 0000000079e65000 - 0000000079e8d000 (usable)

(XEN)Â 0000000079e8d000 - 0000000079e8e000 (reserved)

(XEN)Â 0000000079e8e000 - 0000000079ea8000 (usable)

(XEN)Â 0000000079ea8000 - 0000000079eab000 (reserved)

(XEN)Â 0000000079eab000 - 0000000079f00000 (usable)

(XEN)Â 0000000079f00000 - 0000000079f01000 (reserved)

(XEN)Â 0000000079f01000 - 0000000079f02000 (usable)

(XEN)Â 0000000079f02000 - 0000000079f05000 (reserved)

(XEN)Â 0000000079f05000 - 0000000079f06000 (usable)

(XEN)Â 0000000079f06000 - 0000000079f07000 (reserved)

(XEN)Â 0000000079f07000 - 0000000079f08000 (usable)

(XEN)Â 0000000079f08000 - 0000000079f09000 (reserved)

(XEN)Â 0000000079f09000 - 0000000079fba000 (usable)

(XEN)Â 0000000079fba000 - 0000000079fbc000 (reserved)

(XEN)Â 0000000079fbc000 - 0000000079fdd000 (usable)

(XEN)Â 0000000079fdd000 - 0000000079fde000 (reserved)

(XEN)Â 0000000079fde000 - 0000000079ff9000 (usable)

(XEN)Â 0000000079ff9000 - 0000000079ffc000 (reserved)

(XEN)Â 0000000079ffc000 - 000000007a61e000 (usable)

(XEN)Â 000000007a61e000 - 000000007a61f000 (reserved)

(XEN)Â 000000007a61f000 - 000000007a622000 (usable)

(XEN)Â 000000007a622000 - 000000007a623000 (reserved)

(XEN)Â 000000007a623000 - 000000007b000000 (usable)

(XEN)Â 00000000e00f8000 - 00000000e00f9000 (reserved)

(XEN)Â 00000000fed01000 - 00000000fed02000 (reserved)

(XEN) System RAM: 1965MB (2012500kB)

(XEN) ACPI: RSDP 73EEF014, 0024 (r2 INTEL )

(XEN) ACPI: XSDT 73EEE0E8, 0084 (r1 INTELÂ EDK2Â Â Â Â Â Â 3 Â Â Â 1000013)

(XEN) ACPI: FACP 73E83000, 010C (r5 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: DSDT 73E74000, 9453 (r2 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: FACS 73E82000, 0040

(XEN) ACPI: UEFI 73E85000, 0042 (r1 INTELÂ EDK2Â Â Â Â Â Â 2 Â Â Â 1000013)

(XEN) ACPI: HPET 73E81000, 0038 (r1 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: LPIT 73E80000, 0104 (r1 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: APIC 73E7F000, 0084 (r3 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: MCFG 73E7E000, 003C (r1 INTELÂ EDK2Â Â Â Â Â Â 3 VLV2Â 100000D)

(XEN) ACPI: SSDT 73E73000, 0763 (r1 PmRef  CpuPm   3000 INTL 20120518)

(XEN) ACPI: SSDT 73E72000, 0261 (r1 PmRef Cpu0Tst   3000 INTL 20120518)

(XEN) ACPI: SSDT 73E71000, 017A (r1 PmRef  ApTst   3000 INTL 20120518)

(XEN) ACPI: CSRT 73E02000, 014C (r0 INTELÂ EDK2Â Â Â Â Â Â 5 INTL 20120624)

(XEN) ACPI: SSDT 73DFB000, 03E6 (r1 Intel_ IsctTabl   1000 INTL 20120518)

(XEN) ACPI: FPDT 73DF8000, 0044 (r1 INTELÂ EDK2Â Â Â Â Â Â 2 Â Â Â 1000013)

(XEN) No NUMA configuration found

(XEN) Faking a node at 0000000000000000-000000007b000000

(XEN) Domain heap initialised

(XEN) vesafb: framebuffer at 0x80000000, mapped to 0xffff82c000201000, using 1920k, total 1920k

(XEN) vesafb: mode is 800x600x32, linelength=3200, font 8x8

(XEN) vesafb: Truecolor: size=8:8:8:8, shift=24:16:8:0

(XEN) SMBIOS 2.7 present.

(XEN) DMI 2.7 present.

(XEN) APIC boot state is 'xapic'

(XEN) Using APIC driver default

(XEN) ACPI: PM-Timer IO Port: 0x408

(XEN) ACPI: v5 SLEEP INFO: control[1:0], status[1:0]

(XEN) ACPI: SLEEP INFO: pm1x_cnt[404,0], pm1x_evt[400,0]

(XEN) ACPI: 32/64X FACS address mismatch in FADT - 73e82000/0000000000000000, using 32

(XEN) ACPI: Â Â Â Â Â Â wakeup_vec[73e8200c], vec_size[20]

(XEN) ACPI: Local APIC address 0xfee00000

(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)

(XEN) Processor #0 7:7 APIC version 20

(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] disabled)

(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x04] enabled)

(XEN) Processor #4 7:7 APIC version 20

(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x06] disabled)

(XEN) ACPI: LAPIC_NMI (acpi_id[0x01] high level lint[0x1])

(XEN) ACPI: LAPIC_NMI (acpi_id[0x02] high level lint[0x1])

(XEN) ACPI: LAPIC_NMI (acpi_id[0x03] high level lint[0x1])

(XEN) ACPI: LAPIC_NMI (acpi_id[0x04] high level lint[0x1])

(XEN) ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])

(XEN) IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-86

(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)

(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: 0x8086a201 base: 0xfed00000

(XEN) ERST table was not found

(XEN) Using ACPI (MADT) for SMP configuration information

(XEN) SMP: Allowing 4 CPUs (2 hotplug CPUs)

(XEN) mapped APIC to ffff82cfffdfb000 (fee00000)

(XEN) mapped IOAPIC to ffff82cfffdfa000 (fec00000)

(XEN) IRQ limits: 87 GSI, 609 MSI/MSI-X

(XEN) Using scheduler: SMP Credit Scheduler (credit)

(XEN) Detected 1333.353 MHz processor.

(XEN) EFI memory map:

(XEN)Â 0000000000000-000000008efff type=7 attr=000000000000000f

(XEN)Â 000000008f000-000000008ffff type=10 attr=000000000000000f

(XEN)Â 0000000090000-000000009afff type=7 attr=000000000000000f

(XEN)Â 000000009b000-000000009dfff type=2 attr=000000000000000f

(XEN)Â 000000009e000-000000009ffff type=0 attr=000000000000000f

(XEN)Â 0000000100000-000001fffffff type=7 attr=000000000000000f

(XEN)Â 0000020000000-00000200fffff type=0 attr=000000000000000f

(XEN)Â 0000020100000-0000070ffffff type=7 attr=000000000000000f

(XEN)Â 0000071000000-000007101ffff type=4 attr=000000000000000f

(XEN)Â 0000071020000-0000072618fff type=7 attr=000000000000000f

(XEN)Â 0000072619000-0000073df6fff type=2 attr=000000000000000f

(XEN)Â 0000073df7000-0000073df7fff type=7 attr=000000000000000f

(XEN)Â 0000073df8000-0000073df8fff type=9 attr=000000000000000f

(XEN)Â 0000073df9000-0000073dfafff type=0 attr=000000000000000f

(XEN)Â 0000073dfb000-0000073dfbfff type=9 attr=000000000000000f

(XEN)Â 0000073dfc000-0000073e01fff type=0 attr=000000000000000f

(XEN)Â 0000073e02000-0000073e02fff type=9 attr=000000000000000f

(XEN)Â 0000073e03000-0000073e5cfff type=0 attr=000000000000000f

(XEN)Â 0000073e5d000-0000073e70fff type=10 attr=000000000000000f

(XEN)Â 0000073e71000-0000073e81fff type=9 attr=000000000000000f

(XEN)Â 0000073e82000-0000073e82fff type=10 attr=000000000000000f

(XEN)Â 0000073e83000-0000073e83fff type=9 attr=000000000000000f

(XEN)Â 0000073e84000-0000073ed4fff type=10 attr=000000000000000f

(XEN)Â 0000073ed5000-0000073ed6fff type=0 attr=000000000000000f

(XEN)Â 0000073ed7000-0000073ee3fff type=10 attr=000000000000000f

(XEN)Â 0000073ee4000-0000073ee5fff type=0 attr=000000000000000f

(XEN)Â 0000073ee6000-0000073ee6fff type=10 attr=000000000000000f

(XEN)Â 0000073ee7000-0000073eeafff type=0 attr=000000000000000f

(XEN)Â 0000073eeb000-0000073eecfff type=6 attr=800000000000000f

(XEN)Â 0000073eed000-0000073eedfff type=10 attr=000000000000000f

(XEN)Â 0000073eee000-0000073eeffff type=9 attr=000000000000000f

(XEN)Â 0000073ef0000-0000073ef1fff type=10 attr=000000000000000f

(XEN)Â 0000073ef2000-0000077d6afff type=7 attr=000000000000000f

(XEN)Â 0000077d6b000-0000078f6afff type=1 attr=000000000000000f

(XEN)Â 0000078f6b000-0000079158fff type=7 attr=000000000000000f

(XEN)Â 0000079159000-00000791a5fff type=4 attr=000000000000000f

(XEN)Â 00000791a6000-00000791b0fff type=7 attr=000000000000000f

(XEN)Â 00000791b1000-00000791b1fff type=2 attr=000000000000000f

(XEN)Â 00000791b2000-00000791b3fff type=4 attr=000000000000000f

(XEN)Â 00000791b4000-00000791b5fff type=2 attr=000000000000000f

(XEN)Â 00000791b6000-00000791bffff type=4 attr=000000000000000f

(XEN)Â 00000791c0000-00000791c0fff type=2 attr=000000000000000f

(XEN)Â 00000791c1000-00000791d7fff type=4 attr=000000000000000f

(XEN)Â 00000791d8000-00000791f1fff type=2 attr=000000000000000f

(XEN)Â 00000791f2000-00000792affff type=4 attr=000000000000000f

(XEN)Â 00000792b0000-000007936cfff type=1 attr=000000000000000f

(XEN)Â 000007936d000-0000079adcfff type=4 attr=000000000000000f

(XEN)Â 0000079add000-0000079addfff type=2 attr=000000000000000f

(XEN)Â 0000079ade000-0000079b49fff type=4 attr=000000000000000f

(XEN)Â 0000079b4a000-0000079b4afff type=6 attr=800000000000000f

(XEN)Â 0000079b4b000-0000079b77fff type=3 attr=000000000000000f

(XEN)Â 0000079b78000-0000079b7cfff type=4 attr=000000000000000f

(XEN)Â 0000079b7d000-0000079b84fff type=3 attr=000000000000000f

(XEN)Â 0000079b85000-0000079b85fff type=4 attr=000000000000000f

(XEN)Â 0000079b86000-0000079b98fff type=3 attr=000000000000000f

(XEN)Â 0000079b99000-0000079b9afff type=4 attr=000000000000000f

(XEN)Â 0000079b9b000-0000079b9efff type=3 attr=000000000000000f

(XEN)Â 0000079b9f000-0000079b9ffff type=4 attr=000000000000000f

(XEN)Â 0000079ba0000-0000079bcffff type=3 attr=000000000000000f

(XEN)Â 0000079bd0000-0000079bd4fff type=4 attr=000000000000000f

(XEN)Â 0000079bd5000-0000079beffff type=3 attr=000000000000000f

(XEN)Â 0000079bf0000-0000079bf4fff type=4 attr=000000000000000f

(XEN)Â 0000079bf5000-0000079bf6fff type=3 attr=000000000000000f

(XEN)Â 0000079bf7000-0000079bfbfff type=4 attr=000000000000000f

(XEN)Â 0000079bfc000-0000079c01fff type=3 attr=000000000000000f

(XEN)Â 0000079c02000-0000079c02fff type=4 attr=000000000000000f

(XEN)Â 0000079c03000-0000079c0ffff type=3 attr=000000000000000f

(XEN)Â 0000079c10000-0000079c11fff type=4 attr=000000000000000f

(XEN)Â 0000079c12000-0000079c13fff type=3 attr=000000000000000f

(XEN)Â 0000079c14000-0000079c14fff type=4 attr=000000000000000f

(XEN)Â 0000079c15000-0000079c1afff type=3 attr=000000000000000f

(XEN)Â 0000079c1b000-0000079c1cfff type=4 attr=000000000000000f

(XEN)Â 0000079c1d000-0000079c1ffff type=3 attr=000000000000000f

(XEN)Â 0000079c20000-0000079c21fff type=4 attr=000000000000000f

(XEN)Â 0000079c22000-0000079c38fff type=3 attr=000000000000000f

(XEN)Â 0000079c39000-0000079c3cfff type=4 attr=000000000000000f

(XEN)Â 0000079c3d000-0000079c3ffff type=3 attr=000000000000000f

(XEN)Â 0000079c40000-0000079c40fff type=4 attr=000000000000000f

(XEN)Â 0000079c41000-0000079c5bfff type=3 attr=000000000000000f

(XEN)Â 0000079c5c000-0000079c5efff type=10 attr=000000000000000f

(XEN)Â 0000079c5f000-0000079c74fff type=3 attr=000000000000000f

(XEN)Â 0000079c75000-0000079c75fff type=4 attr=000000000000000f

(XEN)Â 0000079c76000-0000079c7bfff type=3 attr=000000000000000f

(XEN)Â 0000079c7c000-0000079c7dfff type=4 attr=000000000000000f

(XEN)Â 0000079c7e000-0000079c81fff type=3 attr=000000000000000f

(XEN)Â 0000079c82000-0000079c87fff type=4 attr=000000000000000f

(XEN)Â 0000079c88000-0000079c88fff type=3 attr=000000000000000f

(XEN)Â 0000079c89000-0000079c9dfff type=4 attr=000000000000000f

(XEN)Â 0000079c9e000-0000079c9ffff type=0 attr=000000000000000f

(XEN)Â 0000079ca0000-0000079ca2fff type=4 attr=000000000000000f

(XEN)Â 0000079ca3000-0000079ca4fff type=0 attr=000000000000000f

(XEN)Â 0000079ca5000-0000079cbefff type=4 attr=000000000000000f

(XEN)Â 0000079cbf000-0000079cc4fff type=3 attr=000000000000000f

(XEN)Â 0000079cc5000-0000079cc5fff type=4 attr=000000000000000f

(XEN)Â 0000079cc6000-0000079cc6fff type=5 attr=800000000000000f

(XEN)Â 0000079cc7000-0000079cc7fff type=0 attr=000000000000000f

(XEN)Â 0000079cc8000-0000079cc8fff type=10 attr=000000000000000f

(XEN)Â 0000079cc9000-0000079ccdfff type=3 attr=000000000000000f

(XEN)Â 0000079cce000-0000079ccefff type=4 attr=000000000000000f

(XEN)Â 0000079ccf000-0000079cd0fff type=3 attr=000000000000000f

(XEN)Â 0000079cd1000-0000079cd4fff type=4 attr=000000000000000f

(XEN)Â 0000079cd5000-0000079cd5fff type=3 attr=000000000000000f

(XEN)Â 0000079cd6000-0000079d89fff type=4 attr=000000000000000f

(XEN)Â 0000079d8a000-0000079d8cfff type=3 attr=000000000000000f

(XEN)Â 0000079d8d000-0000079d91fff type=4 attr=000000000000000f

(XEN)Â 0000079d92000-0000079d92fff type=10 attr=000000000000000f

(XEN)Â 0000079d93000-0000079d93fff type=4 attr=000000000000000f

(XEN)Â 0000079d94000-0000079d94fff type=10 attr=000000000000000f

(XEN)Â 0000079d95000-0000079da4fff type=4 attr=000000000000000f

(XEN)Â 0000079da5000-0000079daffff type=3 attr=000000000000000f

(XEN)Â 0000079db0000-0000079db0fff type=4 attr=000000000000000f

(XEN)Â 0000079db1000-0000079db3fff type=3 attr=000000000000000f

(XEN)Â 0000079db4000-0000079db4fff type=4 attr=000000000000000f

(XEN)Â 0000079db5000-0000079db8fff type=3 attr=000000000000000f

(XEN)Â 0000079db9000-0000079db9fff type=4 attr=000000000000000f

(XEN)Â 0000079dba000-0000079dbbfff type=3 attr=000000000000000f

(XEN)Â 0000079dbc000-0000079dbcfff type=4 attr=000000000000000f

(XEN)Â 0000079dbd000-0000079dbdfff type=3 attr=000000000000000f

(XEN)Â 0000079dbe000-0000079dc3fff type=4 attr=000000000000000f

(XEN)Â 0000079dc4000-0000079dc4fff type=3 attr=000000000000000f

(XEN)Â 0000079dc5000-0000079dc5fff type=6 attr=800000000000000f

(XEN)Â 0000079dc6000-0000079dc7fff type=5 attr=800000000000000f

(XEN)Â 0000079dc8000-0000079dc8fff type=4 attr=000000000000000f

(XEN)Â 0000079dc9000-0000079dc9fff type=5 attr=800000000000000f

(XEN)Â 0000079dca000-0000079dcbfff type=4 attr=000000000000000f

(XEN)Â 0000079dcc000-0000079dccfff type=5 attr=800000000000000f

(XEN)Â 0000079dcd000-0000079dcefff type=4 attr=000000000000000f

(XEN)Â 0000079dcf000-0000079ddcfff type=3 attr=000000000000000f

(XEN)Â 0000079ddd000-0000079dddfff type=4 attr=000000000000000f

(XEN)Â 0000079dde000-0000079de2fff type=3 attr=000000000000000f

(XEN)Â 0000079de3000-0000079e05fff type=6 attr=800000000000000f

(XEN)Â 0000079e06000-0000079e12fff type=4 attr=000000000000000f

(XEN)Â 0000079e13000-0000079e13fff type=5 attr=800000000000000f

(XEN)Â 0000079e14000-0000079e19fff type=4 attr=000000000000000f

(XEN)Â 0000079e1a000-0000079e1bfff type=5 attr=800000000000000f

(XEN)Â 0000079e1c000-0000079e47fff type=4 attr=000000000000000f

(XEN)Â 0000079e48000-0000079e54fff type=3 attr=000000000000000f

(XEN)Â 0000079e55000-0000079e60fff type=4 attr=000000000000000f

(XEN)Â 0000079e61000-0000079e61fff type=6 attr=800000000000000f

(XEN)Â 0000079e62000-0000079e64fff type=5 attr=800000000000000f

(XEN)Â 0000079e65000-0000079e69fff type=4 attr=000000000000000f

(XEN)Â 0000079e6a000-0000079e6afff type=3 attr=000000000000000f

(XEN)Â 0000079e6b000-0000079e70fff type=4 attr=000000000000000f

(XEN)Â 0000079e71000-0000079e8bfff type=3 attr=000000000000000f

(XEN)Â 0000079e8c000-0000079e8cfff type=4 attr=000000000000000f

(XEN)Â 0000079e8d000-0000079e8dfff type=5 attr=800000000000000f

(XEN)Â 0000079e8e000-0000079e8efff type=4 attr=000000000000000f

(XEN)Â 0000079e8f000-0000079e9efff type=3 attr=000000000000000f

(XEN)Â 0000079e9f000-0000079ea0fff type=4 attr=000000000000000f

(XEN)Â 0000079ea1000-0000079ea2fff type=3 attr=000000000000000f

(XEN)Â 0000079ea3000-0000079ea5fff type=4 attr=000000000000000f

(XEN)Â 0000079ea6000-0000079ea7fff type=3 attr=000000000000000f

(XEN)Â 0000079ea8000-0000079eaafff type=5 attr=800000000000000f

(XEN)Â 0000079eab000-0000079eadfff type=4 attr=000000000000000f

(XEN)Â 0000079eae000-0000079eb0fff type=3 attr=000000000000000f

(XEN)Â 0000079eb1000-0000079eb2fff type=4 attr=000000000000000f

(XEN)Â 0000079eb3000-0000079edafff type=3 attr=000000000000000f

(XEN)Â 0000079edb000-0000079edcfff type=4 attr=000000000000000f

(XEN)Â 0000079edd000-0000079ef3fff type=3 attr=000000000000000f

(XEN)Â 0000079ef4000-0000079ef6fff type=4 attr=000000000000000f

(XEN)Â 0000079ef7000-0000079efdfff type=3 attr=000000000000000f

(XEN)Â 0000079efe000-0000079efffff type=4 attr=000000000000000f

(XEN)Â 0000079f00000-0000079f00fff type=6 attr=800000000000000f

(XEN)Â 0000079f01000-0000079f01fff type=4 attr=000000000000000f

(XEN)Â 0000079f02000-0000079f04fff type=5 attr=800000000000000f

(XEN)Â 0000079f05000-0000079f05fff type=4 attr=000000000000000f

(XEN)Â 0000079f06000-0000079f06fff type=5 attr=800000000000000f

(XEN)Â 0000079f07000-0000079f07fff type=3 attr=000000000000000f

(XEN)Â 0000079f08000-0000079f08fff type=5 attr=800000000000000f

(XEN)Â 0000079f09000-0000079f72fff type=3 attr=000000000000000f

(XEN)Â 0000079f73000-0000079f7ffff type=4 attr=000000000000000f

(XEN)Â 0000079f80000-0000079f89fff type=3 attr=000000000000000f

(XEN)Â 0000079f8a000-0000079fb7fff type=4 attr=000000000000000f

(XEN)Â 0000079fb8000-0000079fb8fff type=3 attr=000000000000000f

(XEN)Â 0000079fb9000-0000079fb9fff type=4 attr=000000000000000f

(XEN)Â 0000079fba000-0000079fbbfff type=5 attr=800000000000000f

(XEN)Â 0000079fbc000-0000079fbcfff type=3 attr=000000000000000f

(XEN)Â 0000079fbd000-0000079fdcfff type=4 attr=000000000000000f

(XEN)Â 0000079fdd000-0000079fddfff type=5 attr=800000000000000f

(XEN)Â 0000079fde000-0000079fdefff type=4 attr=000000000000000f

(XEN)Â 0000079fdf000-0000079fe1fff type=3 attr=000000000000000f

(XEN)Â 0000079fe2000-0000079ff8fff type=4 attr=000000000000000f

(XEN)Â 0000079ff9000-0000079ff9fff type=6 attr=800000000000000f

(XEN)Â 0000079ffa000-0000079ffbfff type=5 attr=800000000000000f

(XEN)Â 0000079ffc000-000007a408fff type=4 attr=000000000000000f

(XEN)Â 000007a409000-000007a40bfff type=3 attr=000000000000000f

(XEN)Â 000007a40c000-000007a61dfff type=4 attr=000000000000000f

(XEN)Â 000007a61e000-000007a61efff type=6 attr=800000000000000f

(XEN)Â 000007a61f000-000007a621fff type=4 attr=000000000000000f

(XEN)Â 000007a622000-000007a622fff type=6 attr=800000000000000f

(XEN)Â 000007a623000-000007affffff type=4 attr=000000000000000f

(XEN)Â 00000e00f8000-00000e00f8fff type=11 attr=8000000000000001

(XEN)Â 00000fed01000-00000fed01fff type=11 attr=8000000000000001

(XEN) Initing memory sharing.

(XEN) mce_intel.c:717: MCA Capability: BCAST 1 SER 0 CMCI 0 firstbank 0 extended MCE MSR 0

(XEN) Intel machine check reporting enabled

(XEN) PCI: MCFG configuration 0: base e0000000 segment 0000 buses 00 - 3f

(XEN) PCI: Not using MCFG for segment 0000 bus 00-3f

(XEN) I/O virtualisation disabled

(XEN) Getting VERSION: 50014

(XEN) Getting VERSION: 50014

(XEN) Getting ID: 0

(XEN) Getting LVT0: 700

(XEN) Getting LVT1: 10000

(XEN) enabled ExtINT on CPU#0

(XEN) ENABLING IO-APIC IRQs

(XEN)Â -> Using new ACK method

(XEN) init IO_APIC IRQs

(XEN) IO-APIC (apicid-pin) 2-0, 2-16, 2-17, 2-18, 2-19, 2-20, 2-21, 2-22, 2-23, 2-24, 2-25, 2-26, 2-27, 2-28, 2-29, 2-30, 2-31, 2-32, 2-33, 2-34, 2-35, 2-36, 2-37, 2-38, 2-39, 2-40, 2-41, 2-42, 2-43, 2-44, 2-45, 2-46, 2-47, 2-48, 2-49, 2-50, 2-51, 2-52, 2-53, 2-54, 2-55, 2-56, 2-57, 2-58, 2-59, 2-60, 2-61, 2-62, 2-63, 2-64, 2-65, 2-66, 2-67, 2-68, 2-69, 2-70, 2-71, 2-72, 2-73, 2-74, 2-75, 2-76, 2-77, 2-78, 2-79, 2-80, 2-81, 2-82, 2-83, 2-84, 2-85, 2-86 not connected.    (XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1

(XEN) number of MP IRQ sources: 15.

(XEN) number of IO-APIC #2 registers: 87.

(XEN) testing the IO APIC.......................

(XEN) IO APIC #2......

(XEN) .... register #00: 01000000

(XEN) .......  : physical APIC id: 01

(XEN) .......  : Delivery Type: 0

(XEN) .......  : LTS     : 0

(XEN) .... register #01: 00560020

(XEN) ....... Â Â : max redirection entries: 0056

(XEN) ....... Â Â : PRQ implemented: 0

(XEN) ....... Â Â : IO APIC version: 0020

(XEN) .... IRQ redirection table:

(XEN)Â NR Log Phy Mask Trig IRR Pol Stat Dest Deli Vect:Â Â

(XEN)Â 00 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 01 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 28

(XEN)Â 02 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â F0

(XEN)Â 03 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 30

(XEN)Â 04 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â F1

(XEN)Â 05 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 38

(XEN)Â 06 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 40

(XEN)Â 07 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 48

(XEN)Â 08 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 50

(XEN)Â 09 001 01Â 1Â Â 1Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 58

(XEN)Â 0a 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 60

(XEN)Â 0b 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 68

(XEN)Â 0c 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 70

(XEN)Â 0d 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 78

(XEN)Â 0e 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 88

(XEN)Â 0f 001 01Â 0Â Â 0Â Â 0 Â 0 Â 0Â Â 1Â Â 1Â Â 90

(XEN)Â 10 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 11 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 12 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 13 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 14 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 15 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 16 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 17 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 18 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 19 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 1a 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 1b 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 1c 060 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 30

(XEN)Â 1d 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 1e 080 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 49

(XEN)Â 1f 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 20 0F4 04Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 90

(XEN)Â 21 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 22 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 23 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 24 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 25 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 26 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 27 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 28 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 29 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 2a 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 2b 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 00

(XEN)Â 2c 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 2d 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 2e 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 2f 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 30 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 31 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 32 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 33 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 34 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 10

(XEN)Â 35 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 36 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 37 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 38 074 04Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 2Â Â 02

(XEN)Â 39 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3a 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3b 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3c 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3d 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3e 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 3f 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 40 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 41 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 42 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 43 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 44 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 45 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 46 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 47 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 48 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 49 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4a 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4b 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4c 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4d 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4e 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 4f 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 50 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 51 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 52 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 53 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 54 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 55 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN)Â 56 000 00Â 1Â Â 0Â Â 0 Â 0 Â 0Â Â 0Â Â 0Â Â 00

(XEN) Using vector-based indexing

(XEN) IRQ to pin mappings:

(XEN) IRQ240 -> 0:2

(XEN) IRQ40 -> 0:1

(XEN) IRQ48 -> 0:3

(XEN) IRQ241 -> 0:4

(XEN) IRQ56 -> 0:5

(XEN) IRQ64 -> 0:6

(XEN) IRQ72 -> 0:7

(XEN) IRQ80 -> 0:8

(XEN) IRQ88 -> 0:9

(XEN) IRQ96 -> 0:10

(XEN) IRQ104 -> 0:11

(XEN) IRQ112 -> 0:12

(XEN) IRQ120 -> 0:13

(XEN) IRQ136 -> 0:14

(XEN) IRQ144 -> 0:15

(XEN) .................................... done.

(XEN) Using local APIC timer interrupts.

(XEN) calibrating APIC timer ...

(XEN) ..... CPU clock speed is 1333.3760 MHz.

(XEN) ..... host bus clock speed is 133.3375 MHz.

(XEN) ..... bus_scale = 0x888d

(XEN) TSC deadline timer enabled

(XEN) Platform timer is 14.318MHz HPET

(XEN) Allocated console ring of 16 KiB.

(XEN) mwait-idle: does not run on family 6 model 55

(XEN) VMX: Supported advanced features:

(XEN)Â - APIC MMIO access virtualisation

(XEN)Â - APIC TPR shadow

(XEN)Â - Extended Page Tables (EPT)

(XEN)Â - Virtual-Processor Identifiers (VPID)

(XEN)Â - Virtual NMI

(XEN)Â - MSR direct-access bitmap

(XEN)Â - Unrestricted Guest

(XEN) HVM: ASIDs enabled.

(XEN) HVM: VMX enabled

(XEN) HVM: Hardware Assisted Paging (HAP) detected

(XEN) HVM: HAP page sizes: 4kB, 2MB

(XEN) masked ExtINT on CPU#1

(XEN) Brought up 2 CPUs

(XEN) ACPI sleep modes: S3

(XEN) mcheck_poll: Machine check polling timer started.

(XEN) *** LOADING DOMAIN 0 ***

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users