From 47179201a5653ec518e8c8e8d4c448276cd1ce54 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 10 Feb 2014 11:17:39 +0100
Subject: [PATCH] base-hw: reenable failsafe run script (Fix #801)

---
 os/run/failsafe.run | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/os/run/failsafe.run b/os/run/failsafe.run
index a2d67d93c..fb3784b5f 100644
--- a/os/run/failsafe.run
+++ b/os/run/failsafe.run
@@ -19,10 +19,6 @@ 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