Using Device Tree in place at 11000000, end 110070cc
Starting kernel ...
Xvisor v0.2.8 (Aug 1 2016 15:19:36)
init: host address space
init: heap management
init: exception table
init: per-CPU areas
init: device tree
init: host irq subsystem
init: CPU early
init: board early
soc_device_register not implemented yet
FIXME: GPC is the secondary interrupt controller behind GIC
init: standard I/O
init: clocksource manager
init: clockchip manager
init: hypervisor timer
init: soft delay
init: hypervisor manager
init: hypervisor scheduler
init: hypervisor threads
init: inter-processor interrupts
init: workqueue framework
init: wallclock subsystem
init: secondary CPUs
cpu@0: unsupported enable-method property: smp-imx
cpu@1: unsupported enable-method property: smp-imx
cpu@2: unsupported enable-method property: smp-imx
cpu@3: unsupported enable-method property: smp-imx
init: hypervisor load balancer
init: command manager
init: device driver framework
init: device emulation framework
init: character device framework
init: hypervisor modules
init: block device framework
init: network switch framework
init: network port framework
init: CPU final
init: board final
sram@0x00900000: SRAM pool: 240 KiB @ 0xff280000
INFO: gpio@0209c000: gpio_mxc0 registered
INFO: gpio@020a4000: gpio_mxc2 registered
INFO: gpio@020b4000: gpio_mxc6 registered
INFO: iomuxc@020e0000: initialized IMX pinctrl driver
WARNING: spi0.0: found mr25h256, expected sst25vf016b
Found mr25h256 compatible flash device
INFO: spi0.0: mr25h256 (32 Kbytes)
INFO: spi0.0: mtd
.name = spi0.0,
.size = 0x8000 (0MiB)
.erasesize = 0x00008000 (32KiB)
.numeraseregions = 0
INFO: mdio_bus: fec_enet_mii_bus: probed
WARNING: usdhc@02198000: Manual tuning not implemented yet
WARNING: usdhc@02198000: could not get ultra high speed state, work on normal mode
INFO: usdhc@02198000: desired SD clock: 223378, actual: 223160
sdhci_send_command: Status update timeout on CMD0, arg 0x00000000!
usdhc@02198000: SDHCI controller v3 at 0x2198000 irq 56 [DMA]
INFO: i2c-0: IMX I2C adapter registered
INFO: i2c-1: IMX I2C adapter registered
INFO: i2c-2: IMX I2C adapter registered
INFO: ipu@02400000: IPU DMFC NORMAL mode: 1(0~1), 5B(4,5), 5F(6,7)
INFO: ipu@02800000: IPU DMFC NORMAL mode: 1(0~1), 5B(4,5), 5F(6,7)
INFO: fb@0: register mxc display driver ldb
init: CPU0 online
init: brought-up 1 CPUs
init: freeing init memory 100K
init: change stdio device to uart1
Error: command fb failed (code -1)
Block device mmc0p0 not found
Error: command vfs failed (code -8)
Failed to open /images/arm32/sabrelite-a9.dtb
Error: command vfs failed (code -3)
Error: failed to find guest0 node under /guests
Error: command guest failed (code -1)
Failed to find guest guest0
Error: command vfs failed (code -3)
Failed to open /system/banner.txt
Error: command vfs failed (code -3)
Unmount failed
Error: command vfs failed (code -5)
XVisor#