diff --git a/software/include/base/stdlib.h b/software/include/base/stdlib.h
index da67b4e23..4b9bd0492 100644
--- a/software/include/base/stdlib.h
+++ b/software/include/base/stdlib.h
@@ -63,7 +63,7 @@ char *number(char *buf, char *end, unsigned long num, int base, int size, int pr
 
 unsigned int rand(void);
 void srand(unsigned int seed);
-void abort(void);
+void abort(void) __attribute__((noreturn));
 
 void qsort(void *base, size_t nmemb, size_t size, int(*compar)(const void *, const void *));