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