base-hw: reenable failsafe run script (Fix #801)

2014-02-10 11:17:39 +01:00 · 2014-02-10 11:17:39 +01:00 · 47179201a5
parent 4c5c9fd7a9
commit 47179201a5
1 changed files with 0 additions and 4 deletions
--- 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