From 4be7b3c3ad8dade92535d959f3d756d51935161a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sat, 10 Jan 2015 13:36:12 +0100
Subject: [PATCH] seoul: exclude 64bit guest in seoul-genode.run

Fixes #1358
---
 repos/ports/run/seoul-genode.run | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/seoul-genode.run b/repos/ports/run/seoul-genode.run
index a4af22bc6..19588423b 100644
--- a/repos/ports/run/seoul-genode.run
+++ b/repos/ports/run/seoul-genode.run
@@ -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 {