ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

depot: enable package building for armv6 

* Allow depot_autopilot to be run on top of arm_v6 too (Ref #3027)
This commit is contained in:
Stefan Kalkowski 2018-11-30 11:18:24 +01:00 committed by Norman Feske
parent 42c5f2e91e
commit 6fb9c802d3
3 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/run/depot_autopilot.run
View File

@ -572,6 +572,7 @@ proc prepare_to_run_genode { } {
# Check platform support
#
if {[expr ![have_spec x86] && \
![have_spec arm_v6] && \
![have_spec arm_v7a] ]} \
{
puts "\n Run script is not supported on this platform. \n";

1
repos/gems/src/app/depot_autopilot/config.xsd
View File

@ -8,6 +8,7 @@
<xs:restriction base="xs:string">
<xs:enumeration value="x86_64" />
<xs:enumeration value="x86_32" />
<xs:enumeration value="arm_v6" />
<xs:enumeration value="arm_v7a" />
</xs:restriction>
</xs:simpleType><!-- Architecture -->

1
tool/run/depot.inc
View File

@ -21,6 +21,7 @@ proc depot_dir { } {
proc depot_spec { } {
if {[have_spec x86_32]} { return "x86_32" }
if {[have_spec x86_64]} { return "x86_64" }
if {[have_spec arm_v6]} { return "arm_v6" }
if {[have_spec arm_v7a]} { return "arm_v7a" }
}