Develop Trustzone support for imx6

Martin Stein martin.stein at ...1...
Mon Apr 27 13:12:36 CEST 2015

Hi Bharath,

On 27.04.2015 11:02, bharath wrote:
> I tried build by the following steps:
> cd genode-hw_sabrelite_tz_support/tools/
> ./create_builddir hw_sabrelite_tz BUILD_DIR=build_sabrelite
> cd build_sabrelite/
> RUN_OPT="--target uboot"

The "--target uboot" option is a deprecated way of configuring the run
tool. You should not set RUN_OPT by hand when calling 'make' but adapt
it in [1] to the following value:

RUN_OPT = --include boot_dir/hw --include image/uboot

For more details on the new run options, see chapter "Modular tool kit
for automated testing" in [2].

> wrong # args: should be "run_boot_dir"
>     while executing
> "run_boot_dir $binaries"
>     (procedure "build_boot_image" line 2)
>     invoked from within
> "build_boot_image "core init tz_vmm linux initrd.gz""
>     (file "genode-hw_sabrelite_tz_support/repos/os/run/" line 
> 49)
>     invoked from within
> "source $include_name"
>     ("foreach" body line 6)
>     invoked from within
> "foreach include_name [get_cmd_arg --include ""] {
> 	# first check if the include name is absolute
> 	if {[string first "/" $include_name] == 0} {
> 		puts ..."
>     (file "genode-hw_sabrelite_tz_support/tool/run/run" line 630)
> make: *** [run/tz_vmm_mx6] Error 1

This error report at the end of your log is completely related to the
bad RUN_OPT mentioned above. The run environment (our framework for
automated testing that "wraps" the Genode build-system) complains that
you have to define a method for creating the boot directory at least
(--include boot_dir/xxx).

Martin Stein

[1] $BUILD_DIR/etc/build.conf

More information about the users mailing list