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