Develop Trustzone support for imx6

[Christian Helmuth]

Hello,

maybe the difference between your version of boot_dir/hw and the
upstream version is reponsible for the issue. The difference as far as
I found out is

+++ tool/run/boot_dir/hw	2015-04-27 12:20:06.484712514 +0200
@@ -18,20 +18,18 @@
 ##
 # Populate boot directory with binaries on hw
 #
-proc run_boot_dir {binaries {core_type core}} {
-	if {$core_type == "test"} {
+proc run_boot_dir {binaries} {
+
+	# adapt to wether this is a core-internal test or a common scenario
+	global core_test
+	if {[info exists core_test]} {
 		set core_bin "test-[run_name]"
 		set core_target "test/[run_name]"
-	} elseif {$core_type == "core"} {
+	} else {
 		set core_bin "core"
 		set core_target "core"
-	} else {
-		puts stderr "Error: Unknown core type '$core_type'"
-		exit -1
 	}
 
-	global run_target
-
 	# strip binaries
 	copy_and_strip_genode_binaries_to_run_dir $binaries

HTH
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth