Hello everyone,

I have built and run the current Genode version(15.11) with trustzone for hw_imx53_qsb_tz platform but i used the initramfs (initrd.gz) for Android image that are used in the demo for Sabre tablet (https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/imx53/README). After some trials and errors, I have managed to get the following outputs (see attached) on the serial console and it got stuck. is this the right approach to run Android in the normal world of i.mx53 QSB?  What is missing ? lvds display is connected to the board but nothing is displayed.

Thanks,

On Mon, Dec 28, 2015 at 4:48 AM, Joseph Lee <leejose911@...9...> wrote:
Hi everyone,

i am currently trying to run trustzone demo on imx53 Quick Start Board (qsb). In which i want to run Android OS in the normal world. i followed the instruction in this link (https://github.com/skalk/genode/blob/i.MX53_tablet_demo/os/src/server/vmm/imx53/README) and built the uImage successfully. I put the uImage on the SD card partition (/dev/mmcblk0p1). However, when try to boot the uImage, it gets stuck after displaying the following outputs. I have attached the whole log messages. FYI, the SD card has two partitions(/dev/mmcblk0p1 and /dev/mmcblk0p2) with ext4 format.

mmc0: new high speed SDHC card at address 0007
mmcblk0: mmc0:0007 SD32G 28.9 GiB
 mmcblk0: p1 p2
init: cannot open '/initlogo.rle'
EXT4-fs (mmcblk0p2): mounted filesystem with ordered data mode. Opts: (null)
EXT4-fs (mmcblk0p2): re-mounted. Opts: (null)
init: Unable to open persistent property directory /data/property errno: 2
init: cannot find '/system/bin/sh', disabling 'console'
init: cannot find '/system/bin/servicemanager', disabling 'servicemanager'
init: cannot find '/system/bin/vold', disabling 'vold'
init: cannot find '/system/bin/netd', disabling 'netd'
init: cannot find '/system/bin/dispd', disabling 'dispd'
init: cannot find '/system/bin/debuggerd', disabling 'debuggerd'
init: cannot find '/system/bin/app_process', disabling 'zygote'
init: cannot find '/system/bin/mediaserver', disabling 'media'
init: cannot find '/system/bin/dbus-daemon', disabling 'dbus'
init: cannot find '/system/bin/installd', disabling 'installd'
init: cannot find '/system/etc/install-recovery.sh', disabling 'flash_recovery'
init: cannot find '/system/bin/keystore', disabling 'keystore'
init: cannot find '/system/bin/rild', disabling 'ril-daemon'
init: cannot find '/system/bin/magd', disabling 'magd'
init: cannot find '/system/bin/wlan_tool', disabling 'wlan_tool'

could you please let me know what is missing?

thank you!