__  __            _____  _   ___  
 \ \/ /___ _ __   |___ / / | / _ \ 
  \  // _ \ '_ \    |_ \ | || | | |
  /  \  __/ | | |  ___) || || |_| |
 /_/\_\___|_| |_| |____(_)_(_)___/ 
                                   
 http://www.cl.cam.ac.uk/netos/xen
 University of Cambridge Computer Laboratory

 Xen version 3.1.0 (buildd@buildd) (gcc version 4.1.3 20070812 (prerelease) (Ubuntu 4.1.2-15ubuntu2)) Thu Aug 23 22:51:11 GMT 2007
 Latest ChangeSet: unavailable

(XEN) Command line: /xen-3.1.gz
(XEN)  0000000000000000 - 000000000008f000 (usable)
(XEN)  000000000008f000 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 00000000cf561000 (usable)
(XEN)  00000000cf561000 - 00000000cf56e000 (reserved)
(XEN)  00000000cf56e000 - 00000000cf649000 (usable)
(XEN)  00000000cf649000 - 00000000cf6e9000 (ACPI NVS)
(XEN)  00000000cf6e9000 - 00000000cf6ed000 (usable)
(XEN)  00000000cf6ed000 - 00000000cf6f2000 (ACPI data)
(XEN)  00000000cf6f2000 - 00000000cf6f3000 (usable)
(XEN)  00000000cf6f3000 - 00000000cf6ff000 (ACPI data)
(XEN)  00000000cf6ff000 - 00000000cf700000 (usable)
(XEN)  00000000cf700000 - 00000000d0000000 (reserved)
(XEN)  00000000fff00000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 000000012c000000 (usable)
(XEN) System RAM: 4021MB (4118340kB)
(XEN) Xen heap: 9MB (10136kB)
(XEN) Domain heap initialised: DMA width 32 bits
(XEN) PAE enabled, limit: 16 GB
(XEN) Processor #0 6:15 APIC version 20
(XEN) Processor #2 6:15 APIC version 20
(XEN) Processor #1 6:15 APIC version 20
(XEN) Processor #3 6:15 APIC version 20
(XEN) IOAPIC[0]: apic_id 2, 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 2397.684 MHz processor.
(XEN) HVM: VMX enabled
(XEN) VMX: MSR intercept bitmap enabled
(XEN) CPU0: Intel(R) Core(TM)2 Quad CPU           @ 2.40GHz stepping 07
(XEN) Mapping cpu 0 to node 255
(XEN) Booting processor 1/2 eip 90000
(XEN) Mapping cpu 1 to node 255
(XEN) CPU1: Intel(R) Core(TM)2 Quad CPU           @ 2.40GHz stepping 07
(XEN) Booting processor 2/1 eip 90000
(XEN) Mapping cpu 2 to node 255
(XEN) CPU2: Intel(R) Core(TM)2 Quad CPU           @ 2.40GHz stepping 07
(XEN) Booting processor 3/3 eip 90000
(XEN) Mapping cpu 3 to node 255
(XEN) CPU3: Intel(R) Core(TM)2 Quad CPU           @ 2.40GHz stepping 07
(XEN) Total of 4 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) Platform timer is 1.193MHz PIT
(XEN) Brought up 4 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 32-bit, PAE, lsb
(XEN)  Dom0 kernel: 32-bit, PAE, lsb, paddr 0xc0100000 -> 0xc0443000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   000000007e000000->0000000080000000 (976930 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: c0100000->c0443000
(XEN)  Init. ramdisk: c0443000->c1892000
(XEN)  Phys-Mach map: c1892000->c1c54088
(XEN)  Start info:    c1c55000->c1c5546c
(XEN)  Page tables:   c1c56000->c1c6b000
(XEN)  Boot stack:    c1c6b000->c1c6c000
(XEN)  TOTAL:         c0000000->c2000000
(XEN)  ENTRY ADDRESS: c0100000
(XEN) Dom0 has maximum 4 VCPUs
(XEN) Initrd len 0x144f000, start at 0xc0443000
(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 'CTRL-a' three times to switch input to Xen).