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

 Xen version 3.0.2-2 (root@) (gcc version 4.0.3 (Ubuntu 4.0.3-1ubuntu5)) Tue Jun  6 18:31:40 CEST 2006
 Latest ChangeSet: Thu Apr 13 15:18:37 2006 +0100 9617:5802713c159b

(XEN) Physical RAM map:
(XEN)  0000000000000000 - 000000000009f000 (usable)
(XEN)  000000000009f000 - 00000000000a0000 (reserved)
(XEN)  0000000000100000 - 000000007f691400 (usable)
(XEN)  000000007f691400 - 0000000080000000 (reserved)
(XEN)  00000000e0000000 - 00000000f0007000 (reserved)
(XEN)  00000000f0008000 - 00000000f000c000 (reserved)
(XEN)  00000000fec00000 - 00000000fec10000 (reserved)
(XEN)  00000000fed20000 - 00000000feda0000 (reserved)
(XEN)  00000000fee00000 - 00000000fee10000 (reserved)
(XEN)  00000000ffb00000 - 0000000100000000 (reserved)
(XEN) System RAM: 2038MB (2087104kB)
(XEN) Xen heap: 10MB (10556kB)
(XEN) Using scheduler: Simple EDF Scheduler (sedf)
(XEN) PAE disabled.
(XEN) DMI 2.4 present.
(XEN) Using APIC driver default
(XEN) ACPI: RSDP (v000 DELL                                  ) @ 0x000fc370
(XEN) ACPI: RSDT (v001 DELL    M07     0x27d60317 ASL  0x00000061) @ 0x7f691a53
(XEN) ACPI: FADT (v001 DELL    M07     0x27d60317 ASL  0x00000061) @ 0x7f692800
(XEN) ACPI: MADT (v001 DELL    M07     0x27d60317 ASL  0x00000047) @ 0x7f693000
(XEN) ACPI: ASF! (v016 DELL    M07     0x27d60317 ASL  0x00000061) @ 0x7f692c00
(XEN) ACPI: MCFG (v016 DELL    M07     0x27d60317 ASL  0x00000061) @ 0x7f692fc0
(XEN) ACPI: SSDT (v001  PmRef    CpuPm 0x00003000 INTL 0x20050624) @ 0x7f691ace
(XEN) ACPI: DSDT (v001 INT430 SYSFexxx 0x00001001 INTL 0x20050624) @ 0x00000000
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
(XEN) Processor #0 6:14 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
(XEN) Processor #1 6:14 APIC version 20
(XEN) ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
(XEN) ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
(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) Initializing CPU#0
(XEN) Detected 1662.564 MHz processor.
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: L2 cache: 2048K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 0
(XEN) VMXON is done
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#0.
(XEN) CPU0: Intel Genuine Intel(R) CPU           T2300  @ 1.66GHz stepping 08
(XEN) Booting processor 1/1 eip 90000
(XEN) Initializing CPU#1
(XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
(XEN) CPU: L2 cache: 2048K
(XEN) CPU: Physical Processor ID: 0
(XEN) CPU: Processor Core ID: 1
(XEN) VMXON is done
(XEN) Intel machine check architecture supported.
(XEN) Intel machine check reporting enabled on CPU#1.
(XEN) CPU1: Intel Genuine Intel(R) CPU           T2300  @ 1.66GHz stepping 08
(XEN) Total of 2 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN) ..TIMER: vector=0x31 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) checking TSC synchronization across 2 CPUs: 
(XEN) CPU#0 had 0 usecs TSC skew, fixed it up.
(XEN) CPU#1 had 0 usecs TSC skew, fixed it up.
(XEN) Platform timer is 1.193MHz PIT
(XEN) Brought up 2 CPUs
(XEN) Machine check exception polling timer started.
(XEN) Using IPI Shortcut mode
(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.:   7e000000->7f000000 (258048 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: c0100000->c043d394
(XEN)  Init. ramdisk: c043e000->c08f9000
(XEN)  Phys-Mach map: c08f9000->c09f9000
(XEN)  Start info:    c09f9000->c09fa000
(XEN)  Page tables:   c09fa000->c09fe000
(XEN)  Boot stack:    c09fe000->c09ff000
(XEN)  TOTAL:         c0000000->c0c00000
(XEN)  ENTRY ADDRESS: c0100000
(XEN) Dom0 has maximum 2 VCPUs
(XEN) Initrd len 0x4bb000, start at 0xc043e000
(XEN) Scrubbing Free RAM: .....................done.
(XEN) Xen trace buffers: disabled
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen).

