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
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
