diff --git a/software/include/base/stdlib.h b/software/include/base/stdlib.h
index d51c5de8c..7edfac63d 100644
--- a/software/include/base/stdlib.h
+++ b/software/include/base/stdlib.h
@@ -58,4 +58,8 @@ void abort(void);
 
 char *getenv(const char *name);
 
+void *malloc(size_t size);
+void free(void *ptr);
+void *realloc(void *ptr, size_t size);
+
 #endif /* __STDLIB_H */