ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-09 04:15:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

seoul: exclude 64bit guest in seoul-genode.run

Browse Source 
Fixes #1358
This commit is contained in:
Alexander Boettcher 2015-01-10 13:36:12 +01:00 committed by Christian Helmuth
parent d58509f446
commit 4be7b3c3ad
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/ports/run/seoul-genode.run
View File

@ -29,7 +29,8 @@ set vcpus_to_be_used 1
# Put the multiboot data structure out of the way of Nova's bss.
set use_multiboot_modaddr 0x2800000
# Use a Genode run script and turn it into a bootable setup for Seoul
# Use a Genode run script of a 32bit platform and turn it into a bootable
# setup for Seoul - adjust build_dir and run_script variable accordingly
set run_script "printf"
set build_dir "."
set run_script_path "$build_dir/var/run/$run_script"
@ -58,6 +59,13 @@ foreach line $vm {
continue
}
set file_type [exec file $run_script_path$label_file]
if {[regexp "ELF 64-bit" $file_type]} {
puts "Seoul supports only 32bit guests - choose a 32bit Genode platform"
puts "Exit reason: $file_type"
exit 2
}
if {$binary_cmdline eq ""} {
append multiboot_files "<rom name=\"$binary_file\" label=\"$label_file\"/>\n"
} else {