__  __            _  _    ____    ___  
 \ \/ /___ _ __   | || |  |___ \  / _ \ 
  \  // _ \ '_ \  | || |_   __) || | | |
  /  \  __/ | | | |__   _| / __/ | |_| |
 /_/\_\___|_| |_|    |_|(_)_____(_)___/ 
                                        
(XEN) Xen version 4.2.0 (@dingwall.me.uk) (gcc (Gentoo 4.5.4 p1.0, pie-0.4.7) 4.5.4) Fri Sep 21 16:25:46 BST 2012
(XEN) Latest ChangeSet: unavailable
(XEN) Bootloader: GRUB 2.00-7ubuntu11
(XEN) Command line: placeholder xsave=0 iommu=0 console=vga,com2 com2=115200,8n1 dom0_mem=max:4096m loglevel=8 debug
(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 5 MBR signatures
(XEN)  Found 5 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009c000 (usable)
(XEN)  0000000000100000 - 00000000cb2e0000 (usable)
(XEN)  00000000cb2e0000 - 00000000cd31c000 (reserved)
(XEN)  00000000cd31c000 - 00000000cd35b000 (ACPI data)
(XEN)  00000000cd35b000 - 00000000d0000000 (reserved)
(XEN)  00000000e0000000 - 00000000f0000000 (reserved)
(XEN)  00000000fe000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 0000000830000000 (usable)
(XEN) ACPI: RSDP 000F13A0, 0024 (r2 DELL  )
(XEN) ACPI: XSDT 000F14A8, 00A4 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: FACP CD3411CC, 00F4 (r3 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: DSDT CD31C000, 68A3 (r1 DELL   PE_SC3          1 INTL 20110211)
(XEN) ACPI: FACS CD343000, 0040
(XEN) ACPI: APIC CD340478, 015E (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SPCR CD3405E4, 0050 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HPET CD340638, 0038 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: DMAR CD340674, 00E0 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: MCFG CD340990, 003C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: WD__ CD3409D0, 0134 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SLIC CD340B08, 0024 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: ERST CD322A64, 0270 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HEST CD322CD4, 059C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: BERT CD3228A4, 0030 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: EINJ CD3228D4, 0190 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: TCPA CD341164, 0064 (r2 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: PC__ CD3410F4, 006E (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SRAT CD340D30, 03C0 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SSDT CD344000, 3358 (r1 INTEL  PPM RCM  80000001 INTL 20061109)
(XEN) System RAM: 32690MB (33475056kB)
(XEN) Domain heap initialised
(XEN) Processor #0 6:13 APIC version 21
(XEN) Processor #2 6:13 APIC version 21
(XEN) Processor #4 6:13 APIC version 21
(XEN) Processor #6 6:13 APIC version 21
(XEN) Processor #8 6:13 APIC version 21
(XEN) Processor #10 6:13 APIC version 21
(XEN) Processor #1 6:13 APIC version 21
(XEN) Processor #3 6:13 APIC version 21
(XEN) Processor #5 6:13 APIC version 21
(XEN) Processor #7 6:13 APIC version 21
(XEN) Processor #9 6:13 APIC version 21
(XEN) Processor #11 6:13 APIC version 21
(XEN) IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23
(XEN) IOAPIC[1]: apic_id 1, version 32, address 0xfec3f000, GSI 32-55
(XEN) Enabling APIC mode:  Phys.  Using 2 I/O APICs
(XEN) ERST table is invalid
(XEN) Not enabling x2APIC: depends on iommu_supports_eim.
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2200.056 MHz processor.
(XEN) Initing memory sharing.
(XEN) I/O virtualisation disabled
(XEN) Enabled directed EOI with ioapic_ack_old on!
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using old ACK method
(XEN) Platform timer is 14.318MHz HPET
(XEN) Allocated console ring of 32 KiB.
(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, 1GB
(XEN) Brought up 12 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x2355000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000810000000->0000000814000000 (1021994 pages to be allocated)
(XEN)  Init. ramdisk: 000000082d82a000->000000082ffff800
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff82355000
(XEN)  Init. ramdisk: ffffffff82355000->ffffffff84b2a800
(XEN)  Phys-Mach map: ffffffff84b2b000->ffffffff8532b000
(XEN)  Start info:    ffffffff8532b000->ffffffff8532b4b4
(XEN)  Page tables:   ffffffff8532c000->ffffffff85359000
(XEN)  Boot stack:    ffffffff85359000->ffffffff8535a000
(XEN)  TOTAL:         ffffffff80000000->ffffffff85400000
(XEN)  ENTRY ADDRESS: ffffffff81cf4210
(XEN) Dom0 has maximum 12 VCPUs
(XEN) Scrubbing Free RAM: ...........................................................................................................................................................................................................................................................................................done.
(XEN) Initial low memory virq threshold set at 0x4000 pages.
(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 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 236kB init memory.