diff --git a/src/system/kernel/util/kernel_cpp.cpp b/src/system/kernel/util/kernel_cpp.cpp
index 4c064acb43..62f098b8d7 100644
--- a/src/system/kernel/util/kernel_cpp.cpp
+++ b/src/system/kernel/util/kernel_cpp.cpp
@@ -403,6 +403,7 @@ extern "C"
 void
 exit(int status)
 {
-	panic("exit() called with status code = %d!", status);
+	while (true)
+		panic("exit() called with status code = %d!", status);
 }