From 19f7d11f1a74c585abcab2ead4df91920de5059a Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 26 Jun 2017 14:02:42 +0200 Subject: [PATCH] tool/run: select 'arm_v7a' depot archives The former use of 'arm_v7' as architecture was too unspecific. Depot binary archives for Cortex-A8/A9 platforms should be generated for the 'arm_v7a' architecture to define the required compile flags (i.e., -march). --- tool/run/depot.inc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tool/run/depot.inc b/tool/run/depot.inc index 0802cb85a..738659500 100644 --- a/tool/run/depot.inc +++ b/tool/run/depot.inc @@ -11,9 +11,9 @@ proc depot_dir { } { return [genode_dir]/depot } # Return spec value to be used to access binary archives # proc depot_spec { } { - if {[have_spec x86_32]} { return "x86_32" } - if {[have_spec x86_64]} { return "x86_64" } - if {[have_spec arm_v7]} { return "arm_v7" } + if {[have_spec x86_32]} { return "x86_32" } + if {[have_spec x86_64]} { return "x86_64" } + if {[have_spec arm_v7a]} { return "arm_v7a" } }