From 4388c2a97c095c4cfce19e855727dc441d3a1fa4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 20 Nov 2013 20:38:50 +0100
Subject: [PATCH] Do not try to start Qemu for platform_rpi

---
 tool/run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index 5fd57b7d2a..c49c1067ec 100755
--- a/tool/run
+++ b/tool/run
@@ -526,7 +526,9 @@ proc is_qemu_available { } {
 
 	if {[have_spec linux]} { return false }
 
-	if {[have_spec platform_panda] || [have_spec platform_arndale]}  {
+	if {[have_spec platform_panda]
+	 || [have_spec platform_arndale]
+	 || [have_spec platform_rpi]} {
 		puts stderr "skipping execution because platform is not supported by qemu"
 		return false
 	}