diff --git a/software/include/base/stdlib.h b/software/include/base/stdlib.h
index 7d2e25088..a31093adc 100644
--- a/software/include/base/stdlib.h
+++ b/software/include/base/stdlib.h
@@ -52,4 +52,10 @@ unsigned int rand(void);
 void srand(unsigned int seed);
 void abort(void);
 
+/*
+ * The following functions are not provided by this library.
+ */
+
+char *getenv(const char *name);
+
 #endif /* __STDLIB_H */