1 files changed, 1 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c
index 0d7ae74b..d773bd1f 100644
--- a/boot/boot.c
+++ b/boot/boot.c
@@ -775,7 +775,7 @@ main (int argc, char **argv, char **envp)
     }
 }
 
-void *
+void * __attribute__ ((noreturn))
 msg_thread (void *arg)
 {
   while (1)