Index: generic/include/proc/thread.h
===================================================================
--- generic/include/proc/thread.h	(revision 31e8ddd3646b281263eac10f5b0878e1700ccd12)
+++ generic/include/proc/thread.h	(revision e269c5341e475e13d45054e8c068d5662604bd99)
@@ -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