(XEN) Xen version 4.0.1-rc6 (Debian 4.0.1~rc6-1) (waldi@xxxxxxxxxx) (gcc version 4.4.5 20100816 (prerelease) (Debian 4.4.4-9) ) Tue Aug 17 21:17:33 UTC 2010
(XEN) Bootloader: GRUB 1.98+20100804-2
(XEN) Command line: placeholder
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: none; EDID transfer time: 0 seconds
(XEN)  EDID info not retrieved because no DDC retrieval method detected
(XEN) Disc information:
(XEN)  Found 1 MBR signatures
(XEN)  Found 1 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009d800 (usable)
(XEN)  000000000009d800 - 00000000000a0000 (reserved)
(XEN)  00000000000d2000 - 00000000000d4000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000bfeb0000 (usable)
(XEN)  00000000bfeb0000 - 00000000bfecc000 (ACPI data)
(XEN)  00000000bfecc000 - 00000000bff00000 (ACPI NVS)
(XEN)  00000000bff00000 - 00000000c0000000 (reserved)
(XEN)  00000000f0000000 - 00000000f4000000 (reserved)
(XEN)  00000000fec00000 - 00000000fec10000 (reserved)
(XEN)  00000000fed00000 - 00000000fed00400 (reserved)
(XEN)  00000000fed14000 - 00000000fed1a000 (reserved)
(XEN)  00000000fed1c000 - 00000000fed90000 (reserved)
(XEN)  00000000fee00000 - 00000000fee01000 (reserved)
(XEN)  00000000ff000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 0000000140000000 (usable)
(XEN) ACPI: RSDP 000F69B0, 0024 (r2 LENOVO)
(XEN) ACPI: XSDT BFEBB27E, 008C (r1 LENOVO TP-7K        2290  LTP        0)
(XEN) ACPI: FACP BFEBB400, 00F4 (r3 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI Warning (tbfadt-0444): Optional field "Gpe1Block" has zero address or length: 000000000000102C/0 [20070126]
(XEN) ACPI: DSDT BFEBB81D, 1044C (r1 LENOVO TP-7K        2290 MSFT  3000000)
(XEN) ACPI: FACS BFEE4000, 0040
(XEN) ACPI: SSDT BFEBB5B4, 0269 (r1 LENOVO TP-7K        2290 MSFT  3000000)
(XEN) ACPI: ECDT BFECBC69, 0052 (r1 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI: TCPA BFECBCBB, 0032 (r2 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI: APIC BFECBCED, 0068 (r1 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI: MCFG BFECBD55, 003C (r1 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI: HPET BFECBD91, 0038 (r1 LENOVO TP-7K        2290 LNVO        1)
(XEN) ACPI: SLIC BFECBE62, 0176 (r1 LENOVO TP-7K        2290  LTP        0)
(XEN) ACPI: BOOT BFECBFD8, 0028 (r1 LENOVO TP-7K        2290  LTP        1)
(XEN) ACPI: SSDT BFEE26D9, 025F (r1 LENOVO TP-7K        2290 INTL 20050513)
(XEN) ACPI: SSDT BFEE2938, 00A6 (r1 LENOVO TP-7K        2290 INTL 20050513)
(XEN) ACPI: SSDT BFEE29DE, 04F7 (r1 LENOVO TP-7K        2290 INTL 20050513)
(XEN) ACPI: SSDT BFEE2ED5, 01D8 (r1 LENOVO TP-7K        2290 INTL 20050513)
(XEN) System RAM: 4094MB (4192564kB)
(XEN) Domain heap initialised
(XEN) Processor #0 6:15 APIC version 20
(XEN) Processor #1 6:15 APIC version 20
(XEN) IOAPIC[0]: apic_id 1, version 32, address 0xfec00000, GSI 0-23
(XEN) Enabling APIC mode:  Flat.  Using 1 I/O APICs
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 1995.036 MHz processor.
(XEN) Initing memory sharing.
(XEN) VMX: Supported advanced features:
(XEN)  - APIC MMIO access virtualisation
(XEN)  - APIC TPR shadow
(XEN)  - Virtual NMI
(XEN)  - MSR direct-access bitmap
(XEN) HVM: ASIDs disabled.
(XEN) HVM: VMX enabled
(XEN) I/O virtualisation disabled
(XEN) Total of 2 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) checking TSC synchronization across 2 CPUs: 
(XEN) CPU#0 had -91 usecs TSC skew, fixed it up.
(XEN) CPU#1 had 91 usecs TSC skew, fixed it up.
(XEN) Platform timer is 14.318MHz HPET
(XEN) Allocated console ring of 16 KiB.
(XEN) Brought up 2 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x16b1000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000138000000->000000013c000000 (986239 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff816b1000
(XEN)  Init. ramdisk: ffffffff816b1000->ffffffff82fd6a00
(XEN)  Phys-Mach map: ffffffff82fd7000->ffffffff8377d3f8
(XEN)  Start info:    ffffffff8377e000->ffffffff8377e4b4
(XEN)  Page tables:   ffffffff8377f000->ffffffff837a0000
(XEN)  Boot stack:    ffffffff837a0000->ffffffff837a1000
(XEN)  TOTAL:         ffffffff80000000->ffffffff83c00000
(XEN)  ENTRY ADDRESS: ffffffff81502200
(XEN) Dom0 has maximum 2 VCPUs
(XEN) Scrubbing Free RAM: .done.
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: Errors and warnings
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type \047CTRL-a\047 three times to switch input to Xen)
(XEN) Freed 176kB init memory.