On Fri, 2013-02-08 at 16:11 +0000, Ian Campbell wrote:
(XEN) HVM167: xen: copy BIOS tables... (XEN) HVM167: Copying SMBIOS entry point from 0x00010010 to 0x000fdb10 (XEN) HVM167: Copying MPTABLE from 0xfc001170/fc001180 to 0x000fda10 (XEN) HVM167: Copying PIR from 0x00010030 to 0x000fd990 (XEN) HVM167: Copying ACPI RSDP from 0x000100b0 to 0x000fd960 (XEN) HVM167: rsdp=0x000fd960 (XEN) HVM167: rsdt=0xfc009fc0 (XEN) HVM167: fadt=0xfc009810 (XEN) HVM167: pm_tmr_blk=b008 (XEN) HVM167: Using pmtimer, ioport 0xb008, freq 3579 kHz
Looks good to me; thanks for testing.