1 files changed, 3 insertions, 1 deletions
diff --git a/pbl/misc.c b/pbl/misc.c
index a2cb44deac..9065bf0855 100644
--- a/pbl/misc.c
+++ b/pbl/misc.c
@@ -14,6 +14,8 @@ void __noreturn panic(const char *fmt, ...)
 	while(1);
 }
 
-void start_barebox(void)
+void __noreturn start_barebox(void)
 {
+	/* Should never be here in the pbl */
+	hang();
 }