denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

noux: enable 64bit builds for foc and nova

Browse Source 
Fixes #816
This commit is contained in:
Alexander Boettcher
2014-03-22 17:24:14 +01:00
committed by Christian Helmuth
parent 7e35b84054
commit ced0f71f13
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
ports/run/noux_tool_chain_auto.run
View File

@@ -13,7 +13,6 @@ if {[have_spec pistachio]} {
exit 0
}
assert_spec 32bit
set verbose_mode "no"
@@ -24,7 +23,7 @@ set platform_cmds {
}
# default tool_chain timeout, overwritten by platform if required
set tool_chain_timeout 400
set tool_chain_timeout 450
set noux_boot_timeout 100
if {[have_spec arm]} {
@@ -48,7 +47,11 @@ if {[have_spec arm]} {
}
if {[have_spec x86]} {
set platform "nova_x86_32"
if {[have_spec 32bit]} {
set platform "nova_x86_32"
} else {
set platform "nova_x86_64"
}
set platform_base_dir "base-nova"
}