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