From 03538a1c3b1e99cc06be22123d68cdc414123d99 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 11 Jul 2013 16:40:42 +0200
Subject: [PATCH] Disable run test for base-hw as long as it fails

Ref #801
---
 os/run/failsafe.run | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/os/run/failsafe.run b/os/run/failsafe.run
index fb3784b5f..a2d67d93c 100644
--- a/os/run/failsafe.run
+++ b/os/run/failsafe.run
@@ -19,6 +19,10 @@ if {[have_spec fiasco]} {
 	#
 	exit 0
 }
+if {[have_spec hw]} {
+	puts "Hw kernel is unsupported (see https://github.com/genodelabs/genode/issues/801)"
+	exit 0
+}
 
 #
 # Build