- UART enabled -
- CPU 00000000 booting -
- Started in Secure state -
- Entering Hyp mode -
- Zero BSS -
- Setting up control registers -
- Turning on paging -
- Ready -
RAM: 0000000080000000 - 00000000ffffffff

Placing Xen at 0x00000000ffe00000-0x0000000100000000
Xen heap: 262144 pages  Dom heap: 262144 pages
 __  __            _  _    _____                    _        _     _      
 \ \/ /___ _ __   | || |  |___ /    _   _ _ __  ___| |_ __ _| |__ | | ___ 
  \  // _ \ '_ \  | || |_   |_ \ __| | | | '_ \/ __| __/ _` | '_ \| |/ _ \
  /  \  __/ | | | |__   _| ___) |__| |_| | | | \__ \ || (_| | |_) | |  __/
 /_/\_\___|_| |_|    |_|(_)____/    \__,_|_| |_|___/\__\__,_|_.__/|_|\___|
                                                                          
(XEN) Xen version 4.3-unstable (dzan@) (arm-linux-gnueabi-gcc (Debian 4.7.2-4) 4.7.2) debug=y Wed Apr  3 13:42:37 CEST 2013
(XEN) Latest ChangeSet: unavailable
(XEN) Processor: "ARM Limited", variant: 0x2, part 0xc0f, rev 0x0
(XEN) 32-bit Execution:
(XEN)   Processor Features: 00001131:00011011
(XEN)     Instruction Sets: AArch32 Thumb Thumb-2 ThumbEE Jazelle
(XEN)     Extensions: GenericTimer Security
(XEN)   Debug Features: 02010555
(XEN)   Auxiliary Features: 00000000
(XEN)   Memory Model Features: 10201105 20000000 01240000 02102211
(XEN)  ISA Features: 02101110 13112111 21232041 11112131 10011142 00000000
(XEN) Using generic timer at 100000 KHz
(XEN) GIC initialization:
(XEN)         gic_dist_addr=000000002c001000
(XEN)         gic_cpu_addr=000000002c002000
(XEN)         gic_hyp_addr=000000002c004000
(XEN)         gic_vcpu_addr=000000002c006000
(XEN) GIC: 64 lines, 2 cpus, secure (IID 0000043b).
(XEN) Waiting for 1 other CPUs to be ready
- CPU 00000001 booting -
- Started in Secure state -
- Entering Hyp mode -
- Setting up control registers -
- Turning on paging -
- Ready -
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Allocated console ring of 16 KiB.
(XEN) CPU 1 booted.
(XEN) Brought up 2 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN) Populate P2M 0x80000000->0x88000000
(XEN) Device-tree contains "xen,xen" node. Ignoring.
(XEN) No boot modules found, trying flash
(XEN) Map CS2 MMIO regions 1:1 in the P2M 0x18000000->0x1bffffff
(XEN) Map CS3 MMIO regions 1:1 in the P2M 0x1c000000->0x1fffffff
(XEN) Routing peripheral interrupts to guest
(XEN) Loading zImage from 0000000000000000 to 0000000080008000-0000000080274fe0
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 208kB init memory.