Index: generic/include/proc/thread.h
===================================================================
--- generic/include/proc/thread.h	(revision 31e8ddd3646b281263eac10f5b0878e1700ccd12)
+++ generic/include/proc/thread.h	(revision 4ddeace5764cff68ff26f294be7ead55e4d70796)
@@ -151,5 +151,5 @@
 extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags, char *name);
 extern void thread_ready(thread_t *t);
-extern void thread_exit(void);
+extern void thread_exit(void) __attribute__((noreturn));
 
 #ifndef thread_create_arch