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

 Xen version 3.0.3-0 (buildd@buildd) (gcc version 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-13ubuntu5)) Thu Oct 19 02:30:40 UTC 2006
 Latest ChangeSet: unavailable 

(XEN) Command line: /boot/xen-3.0-i386.gz dom0_mem=524288 noreboot
(XEN) Physical RAM map:
(XEN)  0000000000000000 - 000000000009fc00 (usable)
(XEN)  000000000009fc00 - 00000000000a0000 (reserved)
(XEN)  00000000000ca000 - 00000000000ce000 (reserved)
(XEN)  00000000000f0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 000000003fff0000 (usable)
(XEN)  000000003fff0000 - 000000003fff8000 (ACPI data)
(XEN)  000000003fff8000 - 0000000040000000 (ACPI NVS)
(XEN)  00000000fff00000 - 0000000100000000 (reserved)
(XEN) System RAM: 1023MB (1048124kB)
(XEN) Xen heap: 10MB (10436kB)
(XEN) PAE disabled.
(XEN) found SMP MP-table at 000fb6b0
(XEN) DMI 2.3 present.
(XEN) Using APIC driver default
(XEN) ACPI: RSDP (v000 AMI                                   ) @ 0x000f9e10
(XEN) ACPI: RSDT (v001 HP-BDD HPBDD-JA 0x00000010 MSFT 0x00000097) @ 0x3fff0000
(XEN) ACPI: FADT (v001 HP-BDD HPBDD-JA 0x00000001 MSFT 0x00000097) @ 0x3fff0030
(XEN) ACPI: MADT (v001 HP-BDD          0x00000009 MSFT 0x00000097) @ 0x3fff00e0
(XEN) ACPI: BOOT (v001 HP-BDD INTEL845 0x00000009 MSFT 0x00000097) @ 0x3fff00b0
(XEN) ACPI: DSDT (v001  INTEL BROKDALE 0x00001014 MSFT 0x0100000d) @ 0x00000000
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
(XEN) Processor #0 15:1 APIC version 20
(XEN) ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 2, version 32, address 0xfec00000, GSI 0-23
(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) Using ACPI (MADT) for SMP configuration information
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Initializing CPU#0
(XEN) Detected 1793.399 MHz processor.
(XEN) CPU: Trace cache: 12K uops, L1 D cache: 8K
(XEN) CPU: L2 cache: 256K
(XEN) CPU: Hyper-Threading is disabled
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#0.
(XEN) CPU0: Intel P4/Xeon Extended MCE MSRs (12) available
(XEN) CPU0: Thermal monitoring enabled
(XEN) CPU0: Intel(R) Pentium(R) 4 CPU 1.80GHz stepping 02
(XEN) Total of 1 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) Platform timer is 1.193MHz PIT
(XEN) Brought up 1 CPUs
(XEN) Machine check exception polling timer started.
(XEN) *** LOADING DOMAIN 0 ***
(XEN) Domain 0 kernel supports features = { 0000001f }.
(XEN) Domain 0 kernel requires features = { 00000000 }.
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   3c000000->3e000000 (122880 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: c0100000->c047ffb4
(XEN)  Init. ramdisk: c0480000->c1326800
(XEN)  Phys-Mach map: c1327000->c13a7000
(XEN)  Start info:    c13a7000->c13a746c
(XEN)  Page tables:   c13a8000->c13af000
(XEN)  Boot stack:    c13af000->c13b0000
(XEN)  TOTAL:         c0000000->c1800000
(XEN)  ENTRY ADDRESS: c0100000
(XEN) Dom0 has maximum 1 VCPUs
(XEN) Initrd len 0xea6800, start at 0xc0480000
(XEN) Scrubbing Free RAM: ...........done.
(XEN) Xen trace buffers: disabled
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen).