@@ -270,6 +270,8 @@ RT_WEAK void _sys_exit(int return_code)
rt_thread_suspend(self);
rt_schedule();
}
+
+ while(1); /* noreturn */
/**
@@ -303,6 +303,8 @@ exit (int status)
void
@@ -334,6 +336,8 @@ void abort(void)
uid_t getuid(void)