diff --git a/kernel/main.c b/kernel/main.c
index 1f63e08ac..b847b2bef 100755
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -206,7 +206,6 @@ PUBLIC void main()
   FIXME("PROC check enabled");
 #endif
   restart();
-  NOT_REACHABLE();
 }
 
 /*===========================================================================*