diff --git a/os/run/failsafe.run b/os/run/failsafe.run
index a2d67d93c1..fb3784b5f1 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