Hi,

First of all, I really appreciate your kind response.
I could boot Genode on iMX53 with TrustZone using your u-boot.
For me, no message after “[init -> tz_vmm] Start virtual machine …” was caused by u-boot version.

For reference, I briefly describe my testing :
(ref. https://tthtlc.wordpress.com/2015/02/21/getting-genode-with-trustzone-on-the-i-mx53-quick-start-board/)

0) Build Environment
    - Ubuntu 14.04.02 LTS
    - arm cross compiler (http://releases.linaro.org/14.09/components/toolchain/binaries/gcc-linaro-arm-none-eabi-4.9-2014.09_linux.tar.xz)
    - genode toolchain 14.11 (http://sourceforge.net/projects/genode/files/genode-toolchain/)

1) Genode Build
    - source code v15.02 from https://github.com/genodelabs/genode
    - cd $(GENODE_DIR)
    -  ./tool/create_builddir hw_imx53_qsb_tz BUILD_DIR=$(BUILD_DIR)
    - cd $(BUILD_DIR)
    - modify RUN_OPT in etc/build.conf to include “image/uboot” 
      (e.g. RUN_OPT = --include boot_dir/hw --include image/uboot)
    - make run/tz_vmm
    - uImage can be found in $(BUILD_DIR)/var/run/tz_vmm

2) U=boot Build
    - source code from https://github.com/skalk/u-boot/tree/imx53_loco
    - cd $(UBOOT_DIR)
    - make ARCH=arm CROSS_COMPILE=/opt/gcc-linaro-arm-none-eabi-4.9-2014.09_linux/bin/arm-none-eabi- mx53loco_config
    - make ARCH=arm CROSS_COMPILE=/opt/gcc-linaro-arm-none-eabi-4.9-2014.09_linux/bin/arm-none-eabi-
    - u-boot.imx file is created in $(UBOOT_DIR)

3) Preparation of Bootable sdcard (assume that sdcard is mounted in /dev/sdb in Build Environment)
    - sudo parted /dev/sdb –script mklabel msdos
    - sudo parted /dev/sdb –script mkpart primary ext4 5M 100%
    - sudo dd if=./u-boot.imx of=/dev/sdb seek=2 bs=512 conv=fsync
    - sudo fdisk -l /dev/sdb
    - sudo mkfs.ext4 /dev/sdb1
    - udisks –-mount /dev/sdb1
    - sudo cp uImage /media/371a8dd7-58c1-4beb-aed3-cb18fb40f7eb/
    - sudo udisks –umount /dev/sdb1

4) Booting
     - insert sdcard to your imx53 qsb and power on
     - In the u-boot prompt
       . ext2load mmc 0:1 0x71000000 uImage
       . bootm 0x71000000


2015. 3. 12., 오후 9:53, Stefan Kalkowski <stefan.kalkowski@...1...> 작성:

Hi,

On 03/12/2015 01:32 PM, Martin Stein wrote:
Hi Jaemin,

On 12.03.2015 12:54, JaeminPark wrote:
Hi, Martin.

I used hw_imx53_tz build directory to build tz_vmm scenario.
However, I’m not sure whether I did the right thing regard of “u-boot”.

I’m posting my etc/specs.conf as follows (only 2 lines):
/SPECS = genode hw_imx53_qsb_tz/
/SPECS += perf_counter/

Thank you, that looks good.


I just performed the following procedure to build and install u-boot
to my sdcard posted
in https://tthtlc.wordpress.com/2015/02/21/getting-genode-with-trustzone-on-the-i-mx53-quick-start-board/.

This article, despite giving a rough guide on what is needed, is
unfortunately based on an old version of Genode and contains some
significant misconceptions. Most substantial for you: The Uboot version
it uses is tailored to 'tz_vmm' on the USB-Armory while the Linux
version is tailored to 'tz_vmm' on the i.MX53-QSB.

Even though Genode is still coming up, I suppose that Linux collides
with the unexpectedly altered hardware initialization. The version I'm
using says "U-Boot 2014.07-rc1-02695-g3ab9a12 (Jun 25 2014 - 13:17:24)".
However, I can't tell which sources we used for building it (we simply
google'd for it back then) but what is for sure is that we didn't
patched the sources for 'tz_vmm'.

Just a short remark: we actually use a "vanilla u-boot" from the
mainline git.denx.de repositories, but we reverted one of their commits
because it makes trouble with gzip for several platforms. This tweak is
not related to any of the problems you have encountered, but I liked to
add this for honesty ;-).

To reproduce the u-boot loader we are using, I have uploaded it to github:

 https://github.com/skalk/u-boot/tree/imx53_loco

good luck!

regards stefan


Cheers,
Martin


------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/



_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


--
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main