Starting kernel ...
kernel initialized
Genode 16.02
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 "gpio_drv"
[init] RAM quota: 2863104
[init] ELF binary: gpio_drv
[init] priority: 0
[init] provides service Gpio
[init] child "timer"
[init] RAM quota: 2863104
[init] ELF binary: timer
[init] priority: 0
[init] provides service Timer
[init] child "platform_drv"
[init] RAM quota: 2863104
[init] ELF binary: platform_drv
[init] priority: 0
[init] provides service Regulator
[init] provides service Platform
[init] child "sd_card_drv"
[init] RAM quota: 2863104
[init] ELF binary: sd_card_drv
[init] priority: 0
[init] provides service Block
[init] child "part_blk"
[init] RAM quota: 10203136
[init] ELF binary: part_blk
[init] priority: 0
[init] provides service Block
[init] child "tz_vmm"
[init] RAM quota: 10203136
[init] ELF binary: tz_vmm
[init] priority: 0
[init -> platform_drv] --- i.MX53 platform driver ---
[init] child "platform_drv" announces service "Platform"
[init -> sd_card_drv] --- Imx53 SD card driver ---
[init] child "sd_card_drv" announces service "Block"
[init] child "timer" announces service "Timer"
[init -> tz_vmm] Start virtual machine ...
[init -> gpio_drv] --- i.MX53 gpio driver ---
[init -> gpio_drv] No GPIO config
[init] child "gpio_drv" announces service "Gpio"
[init -> sd_card_drv] CID: 0x28424548 0x32353738 0x00000006 0x8a00b600
[init -> sd_card_drv] RCA: 0xb368
[init -> sd_card_drv] SD card detected
[init -> sd_card_drv] capacity: 3823 MiB
Quota exceeded! amount=12288, size=12288, consumed=12288
[init -> part_blk] Partition 1: LBA 20480 (194560 blocks) type: 83
[init -> part_blk] Partition 2: LBA 215040 (3896289 blocks) type: 83
[init] child "part_blk" announces service "Block"
[init -> tz_vmm] [vm] Booting Linux on physical CPU 0x0
[init -> tz_vmm] [vm] Linux version 4.2.3-00002-gfd57dbf-dirty (lypo@...207...) (gcc version 4.9.3 20150113 (prerelease) (Linaro GCC 4.9-2015.01-3) ) #4 PREEMPT Thu Nov 12 15:18:30 CET 2015
[init -> tz_vmm] [vm] CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c5387d
[init -> tz_vmm] [vm] CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache
[init -> tz_vmm] [vm] Machine model: Inverse Path USB armory
[init -> tz_vmm] [vm] Memory policy: Data cache writeback
[init -> tz_vmm] [vm] CPU: All CPU(s) started in SVC mode.
[init -> tz_vmm] [vm] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 65024
[init -> tz_vmm] [vm] Kernel command line: console=ttyS0 root=/dev/sda1 rootwait rw init=/sbin/init clk_ignore_unused
[init -> tz_vmm] [vm] PID hash table entries: 1024 (order: 0, 4096 bytes)
[init -> tz_vmm] [vm] Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
[init -> tz_vmm] [vm] Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
[init -> tz_vmm] [vm] Memory: 255160K/262144K available (3174K kernel code, 119K rwdata, 1060K rodata, 140K init, 93K bss, 6984K reserved, 0K cma-reserved)
[init -> tz_vmm] [vm] Virtual kernel memory layout:
[init -> tz_vmm] [vm] vector : 0xffff0000 - 0xffff1000 ( 4 kB)
[init -> tz_vmm] [vm] fixmap : 0xffc00000 - 0xfff00000 (3072 kB)
[init -> tz_vmm] [vm] vmalloc : 0x90800000 - 0xff000000 (1768 MB)
[init -> tz_vmm] [vm] lowmem : 0x80000000 - 0x90000000 ( 256 MB)
[init -> tz_vmm] [vm] modules : 0x7f000000 - 0x80000000 ( 16 MB)
[init -> tz_vmm] [vm] .text : 0x80008000 - 0x8042abfc (4235 kB)
[init -> tz_vmm] [vm] .init : 0x8042b000 - 0x8044e000 ( 140 kB)
[init -> tz_vmm] [vm] .data : 0x8044e000 - 0x8046bc60 ( 120 kB)
[init -> tz_vmm] [vm] .bss : 0x8046bc60 - 0x804833ac ( 94 kB)
[init -> tz_vmm] [vm] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
[init -> tz_vmm] [vm] Preemptible hierarchical RCU implementation.
[init -> tz_vmm] [vm] Build-time adjustment of leaf fanout to 32.
[init -> tz_vmm] [vm] NR_IRQS:16 nr_irqs:16 16
[init -> tz_vmm] [vm] TrustZone Interrupt Controller (TZIC) initialized
[init -> tz_vmm] [vm] CPU identified as i.MX53, unknown revision
[init -> tz_vmm] [vm] Switching to timer-based delay loop, resolution 29ns
[init -> tz_vmm] [vm] sched_clock: 32 bits at 33MHz, resolution 29ns, wraps every 64424507889ns
[init -> tz_vmm] [vm] clocksource: mxc_timer1: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 57337812242 ns
[init -> tz_vmm] [vm] Console: colour dummy device 80x30
[init -> tz_vmm] [vm] console [ttyS0] enabled
[init -> tz_vmm] [vm] Calibrating delay loop (skipped), value calculated using timer frequency.. 66.66 BogoMIPS (lpj=333333)
[init -> tz_vmm] [vm] pid_max: default: 32768 minimum: 301
[init -> tz_vmm] [vm] Security Framework initialized
[init -> tz_vmm] [vm] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes)
[init -> tz_vmm] [vm] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes)
[init -> tz_vmm] [vm] Initializing cgroup subsys net_cls
[init -> tz_vmm] [vm] CPU: Testing write buffer coherency: ok
[init -> tz_vmm] [vm] Setting up static identity map for 0x80008200 - 0x80008258
[init -> tz_vmm] [vm] devtmpfs: initialized
[init -> tz_vmm] [vm] VFP support v0.3: implementor 41 architecture 3 part 30 variant c rev 2
[init -> tz_vmm] [vm] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns
[init -> tz_vmm] [vm] pinctrl core: initialized pinctrl subsystem
[init -> tz_vmm] [vm] NET: Registered protocol family 16
[init -> tz_vmm] [vm] DMA: preallocated 256 KiB pool for atomic coherent allocations
[init -> tz_vmm] [vm] cpuidle: using governor ladder
[init -> tz_vmm] [vm] cpuidle: using governor menu
[init -> tz_vmm] [vm] imx53-pinctrl 53fa8000.iomuxc: initialized IMX pinctrl driver
[init -> tz_vmm] [vm] 50000000.aips:usbphy@...361... supply vcc not found, using dummy regulator
[init -> tz_vmm] [vm] 50000000.aips:usbphy@...23... supply vcc not found, using dummy regulator
[init -> tz_vmm] [vm] pps_core: LinuxPPS API ver. 1 registered
[init -> tz_vmm] [vm] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <
giometti@...292...>
[init -> tz_vmm] [vm] clocksource: Switched to clocksource mxc_timer1
[init -> tz_vmm] [vm] NET: Registered protocol family 2
[init -> tz_vmm] [vm] TCP established hash table entries: 2048 (order: 1, 8192 bytes)
[init -> tz_vmm] [vm] TCP bind hash table entries: 2048 (order: 1, 8192 bytes)
[init -> tz_vmm] [vm] TCP: Hash tables configured (established 2048 bind 2048)
[init -> tz_vmm] [vm] UDP hash table entries: 256 (order: 0, 4096 bytes)
[init -> tz_vmm] [vm] UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
[init -> tz_vmm] [vm] NET: Registered protocol family 1
[init -> tz_vmm] [vm] futex hash table entries: 256 (order: -1, 3072 bytes)
[init -> tz_vmm] [vm] squashfs: version 4.0 (2009/01/31) Phillip Lougher
[init -> tz_vmm] [vm] io scheduler noop registered (default)
[init -> tz_vmm] [vm] imx-sdma 63fb0000.sdma: failed to get firmware from device tree
[init -> tz_vmm] [vm] imx-sdma 63fb0000.sdma: initialized
[init -> tz_vmm] [vm] ttyS0 at MMIO 0x1 (irq = 0, base_baud = 230400) is a IMX
[init -> tz_vmm] [vm] loop: module loaded
[init -> part_blk] session opened at partition 2 for 'tz_vmm -> sda1'
[init -> tz_vmm] [vm] genblk: drive 0
[init -> tz_vmm] [vm] block count 3896289
[init -> tz_vmm] [vm] block size 512
[init -> tz_vmm] [vm] writeable 1
[init -> tz_vmm] [vm] queue size 5226480
[init -> tz_vmm] [vm] pirq 92
[init -> tz_vmm] [vm] virq 108
[init -> tz_vmm] [vm] major number 254
[init -> tz_vmm] [vm] name "sda1"
[init -> tz_vmm] [vm] device-mapper: ioctl: 4.33.0-ioctl (2015-8-18) initialised:
dm-devel@...315...[init -> tz_vmm] [vm] sahara 63ff8000.crypto: SAHARA version 4 initialized
[init -> tz_vmm] [vm] NET: Registered protocol family 17
[init -> tz_vmm] [vm] GENODE_TZ_VMM: skip mx5_cpu_lp_set
[init -> tz_vmm] [vm] imx5_pm_common_init: No DDR LPM support with suspend -22!
[init -> tz_vmm] [vm] hctosys: unable to open rtc device (rtc0)
[init -> tz_vmm] [vm] clk: Not disabling unused clocks
[init -> tz_vmm] [vm] EXT4-fs (sda1): couldn't mount as ext3 due to feature incompatibilities
[init -> tz_vmm] [vm] EXT4-fs (sda1): couldn't mount as ext2 due to feature incompatibilities
[init -> tz_vmm] [vm] EXT4-fs (sda1): recovery complete
[init -> tz_vmm] [vm] EXT4-fs (sda1): mounted filesystem with ordered data mode. Opts: (null)
[init -> tz_vmm] [vm] VFS: Mounted root (ext4 filesystem) on device 254:0.
[init -> tz_vmm] [vm] devtmpfs: mounted
[init -> tz_vmm] [vm] Freeing unused kernel memory: 140K (8042b000 - 8044e000)
[init -> tz_vmm] [vm] random: nonblocking pool is initialized
INIT: version 2.88 booting
[init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in runlevel S.
[init -> tz_vmm] [vm] [....] Starting the hotplug events dispatcher: udevdudevd[150]: starting version 175
[ ok -> tz_vmm] [vm] .
[ ok -> tz_vmm] [vm] [....] Synthesizing the initial hotplug events...done.
[init -> tz_vmm] [vm] [....] Waiting for /dev to be fully populated...imx2-wdt 53f98000.wdog: timeout 60 sec (nowayout=0)
[init -> tz_vmm] [vm] usbcore: registered new interface driver usbfs
[init -> tz_vmm] [vm] usbcore: registered new interface driver hub
[init -> tz_vmm] [vm] usbcore: registered new device driver usb
[init -> tz_vmm] [vm] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[ ok -> tz_vmm] [vm] done.
[ ok -> tz_vmm] [vm] [....] Activating swap...done.
[init -> tz_vmm] [vm] EXT4-fs (sda1): re-mounted. Opts: (null)
[ ok -> tz_vmm] [vm] [....] Cleaning up temporary files... /tmp.
[init -> tz_vmm] [vm] [info] Loading kernel module ledtrig_heartbeat.
[init -> tz_vmm] [vm] FATAL: Module ledtrig_heartbeat not found.
[init -> tz_vmm] [vm] [info] Loading kernel module g_ether.
[init -> tz_vmm] [vm] using random self ethernet address
[init -> tz_vmm] [vm] using random host ethernet address
[init -> tz_vmm] [vm] using self ethernet address: 1a:55:89:a2:69:41
[init -> tz_vmm] [vm] usb0: HOST MAC 2a:cd:e3:c7:c8:0a
[init -> tz_vmm] [vm] usb0: MAC 1a:55:89:a2:69:41
[init -> tz_vmm] [vm] using random self ethernet address
[init -> tz_vmm] [vm] using random host ethernet address
[init -> tz_vmm] [vm] g_ether gadget: Ethernet Gadget, version: Memorial Day 2008
[init -> tz_vmm] [vm] g_ether gadget: g_ether ready
[init -> tz_vmm] [vm] g_ether gadget: high-speed config #1: CDC Ethernet (ECM)
[ ok -> tz_vmm] [vm] [....] Activating lvm and md swap...done.
[init -> tz_vmm] [vm] [....] Checking file systems...fsck from util-linux 2.20.1
[ ok -> tz_vmm] [vm] done.
[ ok -> tz_vmm] [vm] [....] Mounting local filesystems...done.
[ ok -> tz_vmm] [vm] [....] Activating swapfile swap...done.
[ ok -> tz_vmm] [vm] [....] Cleaning up temporary files....
[ ok -> tz_vmm] [vm] [....] Setting kernel variables ...done.
[init -> tz_vmm] [vm] [....] Configuring network interfaces...ifup: interface usb0 already configured
[ ok -> tz_vmm] [vm] done.
[ ok -> tz_vmm] [vm] [....] Cleaning up temporary files....
[init -> tz_vmm] [vm] NET: Registered protocol family 10
INIT: Entering runlevel: 2
[init -> tz_vmm] [vm] [info] Using makefile-style concurrent boot in runlevel 2.
[ ok -> tz_vmm] [vm] [....] Starting enhanced syslogd: rsyslogd.
[ ok -> tz_vmm] [vm] [....] Starting periodic command scheduler: cron.
[ ok -> tz_vmm] [vm] [....] Starting OpenBSD Secure Shell server: sshd.
[init -> tz_vmm] [vm]
[init -> tz_vmm] [vm] Debian GNU/Linux 7 usbarmory console
[init -> tz_vmm] [vm]