diff --git a/src/system/kernel/util/kernel_cpp.cpp b/src/system/kernel/util/kernel_cpp.cpp
index 1fdbb4d7f2..ca5e44e7e9 100644
--- a/src/system/kernel/util/kernel_cpp.cpp
+++ b/src/system/kernel/util/kernel_cpp.cpp
@@ -251,6 +251,15 @@ abort()
 	panic("abort() called!");
 }
 
+
+extern "C"
+void
+exit(int status)
+{
+	panic("exit() called with status code = %d!", status);
+}
+
+
 extern "C"
 void
 debugger(const char *message)