## Booting kernel from Legacy Image at 71000000 ...
   Image Name:   
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    5206016 Bytes = 5 MiB
   Load Address: 70010000
   Entry Point:  70010000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK

Starting kernel ...

kernel initialized
Genode 15.11
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 246 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open ROM session for module "ld.lib.so"
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "CAP"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init]   service "SIGNAL"
[init]   service "VM"
[init] child "tz_vmm"
[init]   RAM quota:  10203136
[init]   ELF binary: tz_vmm
[init]   priority:   0
[init -> tz_vmm] Start virtual machine ...
Initializing cgroup subsys cpu
Linux version 2.6.35.3-01162-gecaa8dd-dirty (rlorriaux@rl-linux) (gcc version 4.4.3 (GCC) ) #1 PREEMPT Mon Nov 14 15:00:29 PST 2011
CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c53c7f
CPU: VIPT nonaliasing data cache, VIPT nonaliasing instruction cache
Machine: Freescale MX53 LOCO Board
Memory policy: ECC disabled, Data cache writeback
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 40640
Kernel command line: console=ttymxc0,115200 androidboot.console=ttymxc0 lpj=4997120 video=mxcdi0fb:RGB666,XGA gpu_memory=64M
PID hash table entries: 1024 (order: 0, 4096 bytes)
Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
allocated 819200 bytes of page_cgroup
please try 'cgroup_disable=memory' option if you don't want memory cgroups
Memory: 160MB = 160MB total
Memory: 151368k/151368k available, 12472k reserved, 0K highmem
Virtual kernel memory layout:
    vector  : 0xffff0000 - 0xffff1000   (   4 kB)
    fixmap  : 0xfff00000 - 0xfffe0000   ( 896 kB)
    DMA     : 0xf9e00000 - 0xffe00000   (  96 MB)
    vmalloc : 0x8a800000 - 0xf4000000   (1688 MB)
    lowmem  : 0x80000000 - 0x8a000000   ( 160 MB)
    pkmap   : 0x7fe00000 - 0x80000000   (   2 MB)
    modules : 0x7f000000 - 0x7fe00000   (  14 MB)
      .init : 0x80008000 - 0x80039000   ( 196 kB)
      .text : 0x80039000 - 0x80892000   (8548 kB)
      .data : 0x808b2000 - 0x8091b6c0   ( 422 kB)
SLUB: Genslabs=11, HWalign=32, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
Hierarchical RCU implementation.
	RCU-based detection of stalled CPUs is disabled.
	Verbose stalled-CPUs detection is disabled.
NR_IRQS:368
MXC GPIO hardware
MXC IRQ initialized
MXC_Early serial console at MMIO 0x53fbc000 (options '115200')
bootconsole [ttymxc0] enabled
Console: colour dummy device 80x30
Calibrating delay loop (skipped) preset value.. 999.42 BogoMIPS (lpj=4997120)
pid_max: default: 32768 minimum: 301
Security Framework initialized
Mount-cache hash table entries: 512
Initializing cgroup subsys debug
Initializing cgroup subsys ns
Initializing cgroup subsys cpuacct
Initializing cgroup subsys memory
Initializing cgroup subsys devices
Initializing cgroup subsys freezer
Initializing cgroup subsys blkio
CPU: Testing write buffer coherency: ok
regulator: core version 0.5
NET: Registered protocol family 16
i.MX IRAM pool: 128 KB@0x8a840000
FAILED TO RELEASE IRAM PARTITION
CPU is i.MX0 Revision 0.0
[init -> tz_vmm] Cpu state:
[init -> tz_vmm]   Register     Virt     Phys
[init -> tz_vmm] ---------------------------------
[init -> tz_vmm]   r0         = 8a82c000 [63fa0000]
[init -> tz_vmm]   r1         = 00000002 [00000000]
[init -> tz_vmm]   r2         = 00000035 [00000000]
[init -> tz_vmm]   r3         = f7ed8fff [53fd8fff]
[init -> tz_vmm]   r4         = 8091bbe8 [8091bbe8]
[init -> tz_vmm]   r5         = 808b6a40 [808b6a40]
[init -> tz_vmm]   r6         = 8091b9c4 [8091b9c4]
[init -> tz_vmm]   r7         = 808b6a38 [808b6a38]
[init -> tz_vmm]   r8         = 8002e98c [8002e98c]
[init -> tz_vmm]   r9         = 412fc085 [00000000]
[init -> tz_vmm]   r10        = 0000001f [00000000]
[init -> tz_vmm]   r11        = 00000000 [00000000]
[init -> tz_vmm]   r12        = 00000003 [00000000]
[init -> tz_vmm]   sp         = 00000000 [00000000]
[init -> tz_vmm]   lr         = 00000000 [00000000]
[init -> tz_vmm]   ip         = 80042c1c [80042c1c]
[init -> tz_vmm]   cpsr       = 60000093
[init -> tz_vmm]   sp_und     = 8091b9f8 [8091b9f8]
[init -> tz_vmm]   lr_und     = 8091b9f8 [8091b9f8]
[init -> tz_vmm]   spsr_und   = 00000000 [00000000]
[init -> tz_vmm]   sp_svc     = 808b3f80 [808b3f80]
[init -> tz_vmm]   lr_svc     = 80042dc8 [80042dc8]
[init -> tz_vmm]   spsr_svc   = 60000013 [00000000]
[init -> tz_vmm]   sp_abt     = 8091b9ec [8091b9ec]
[init -> tz_vmm]   lr_abt     = 8091b9ec [8091b9ec]
[init -> tz_vmm]   spsr_abt   = 00000000 [00000000]
[init -> tz_vmm]   sp_irq     = 8091b9e0 [8091b9e0]
[init -> tz_vmm]   lr_irq     = 80039a40 [80039a40]
[init -> tz_vmm]   spsr_irq   = 60000093 [00000000]
[init -> tz_vmm]   sp_fiq     = 00000000 [00000000]
[init -> tz_vmm]   lr_fiq     = 00000000 [00000000]
[init -> tz_vmm]   spsr_fiq   = 00000000 [00000000]
[init -> tz_vmm]   ttbr0      = 80004019
[init -> tz_vmm]   ttbr1      = 80004019
[init -> tz_vmm]   ttbrc      = 00000000
[init -> tz_vmm]   dfar       = 8a82c00c [63fa000c]
[init -> tz_vmm]   exception  = data_abort
[init -> tz_vmm] Could not handle data-abort will exit!