From 21c22b8b5b9dd019ba35653aeaa87cfaaccc3495 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 6 Nov 2012 17:16:06 +0100
Subject: [PATCH] Black-list 'tar_rom.run' on Linux

---
 os/run/tar_rom.run | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/os/run/tar_rom.run b/os/run/tar_rom.run
index 33e8f2745..795ad87b9 100644
--- a/os/run/tar_rom.run
+++ b/os/run/tar_rom.run
@@ -11,6 +11,13 @@
 # line of LOG output.
 #
 
+#
+# On Linux, programs can be executed only if present as a file on the Linux
+# file system ('execve' takes a file name as argument). Data extracted via
+# 'tar_rom' is not represented as file. Hence, it cannot be executed.
+#
+if {[have_spec linux]} { puts "Run script does not support Linux"; exit 0 }
+
 build "core init drivers/timer test/timer server/tar_rom"
 
 create_boot_directory