bootm 0x80080000 - 0x88000000
## Booting kernel from Legacy Image at 80080000 ...
   Image Name:   Linux
   Image Type:   AArch64 Linux Kernel Image (uncompressed)
   Data Size:    7278628 Bytes = 6.9 MiB
   Load Address: 80080000
   Entry Point:  80080000
   Verifying Checksum ... OK
## Flattened Device Tree blob at 88000000
   Booting using the fdt blob at 0x88000000
   Loading Kernel Image ... OK
   reserving fdt memory region: addr=80000000 size=10000
   Loading Device Tree to 000000009fffa000, end 000000009ffff850 ... OK

Starting kernel ...

[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 3.10.39 (vishal@vishal-ThinkPad-W520) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) ) #2 SMP Thu May 22 11:02:43 IST 2014
[    0.000000] CPU: AArch64 Processor [410fd0f0] revision 0
[    0.000000] Machine: FVP Base
[    0.000000] bootconsole [earlycon0] enabled
[    0.000000] psci: probing function IDs from device-tree
[    0.000000] PERCPU: Embedded 11 pages/cpu @ffffffc07ff8e000 s13056 r8192 d23808 u45056
[    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 517120
[    0.000000] Kernel command line: console=ttyAMA0 root=/dev/ram0 earlyprintk=pl011,0x1c090000
[    0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes)
[    0.000000] Dentry cache hash table entries: 262144 (order: 9, 2097152 bytes)
[    0.000000] Inode-cache hash table entries: 131072 (order: 8, 1048576 bytes)
[    0.000000] Sorting __ex_table...
[    0.000000] Memory: 2048MB = 2048MB total
[    0.000000] Memory: 2057244k/2057244k available, 39908k reserved
[    0.000000] Virtual kernel memory layout:
[    0.000000]     vmalloc : 0xffffff8000000000 - 0xffffffbbffff0000   (245759 MB)
[    0.000000]     vmemmap : 0xffffffbc01c00000 - 0xffffffbc03800000   (    28 MB)
[    0.000000]     modules : 0xffffffbffc000000 - 0xffffffc000000000   (    64 MB)
[    0.000000]     memory  : 0xffffffc000000000 - 0xffffffc080000000   (  2048 MB)
[    0.000000]       .init : 0xffffffc0006f2000 - 0xffffffc000720300   (   185 kB)
[    0.000000]       .text : 0xffffffc000080000 - 0xffffffc0006f2000   (  6600 kB)
[    0.000000]       .data : 0xffffffc000724000 - 0xffffffc00076e120   (   297 kB)
[    0.000000] Hierarchical RCU implementation.
[    0.000000] NR_IRQS:64 nr_irqs:64 0
[    0.000000] GIC CPU mask not found - kernel will fail to boot.
[    0.000000] GIC CPU mask not found - kernel will fail to boot.
[    0.000000] Architected local timer running at 100.00MHz (virt).
[    0.000000] Console: colour dummy device 80x25
[  113.966973] Calibrating delay loop (skipped), value calculated using timer frequency.. 200.00 BogoMIPS (lpj=1000000)
[  113.967046] pid_max: default: 32768 minimum: 301
[  113.967831] Mount-cache hash table entries: 256
[  113.974042] hw perfevents: enabled with arm/armv8-pmuv3 PMU driver, 9 counters available
[  113.978373] swapper/0[1]: undefined instruction: pc=ffffffc000088008
[  113.978454] Code: 00000000 00000000 d4000002 d65f03c0 (d4000003)
[  113.978510] Internal error: Oops - undefined instruction: 0 [#1] SMP
[  113.978553] Modules linked in:
[  113.978610] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.10.39 #2
[  113.978673] task: ffffffc07dc85440 ti: ffffffc07dc88000 task.ti: ffffffc07dc88000
[  113.978749] PC is at __invoke_psci_fn_smc+0x0/0x8
[  113.978815] LR is at psci_cpu_on+0x2c/0x54
[  113.978870] pc : [<ffffffc000088008>] lr : [<ffffffc000088104>] pstate: 20000345
[  113.978922] sp : ffffffc07dc8bd30
[  113.978964] x29: ffffffc07dc8bd30 x28: 0000000000000000
[  113.979024] x27: 0000000000000000 x26: 0000000000000001
[  113.979084] x25: 0000000000000000 x24: ffffffc07dcbd500
[  113.979148] x23: ffffffc0007827a0 x22: 0000000000000000