diff --git a/src/include/stdlib.h b/src/include/stdlib.h
index bb57ab33fb..83eb966b25 100644
--- a/src/include/stdlib.h
+++ b/src/include/stdlib.h
@@ -14,6 +14,8 @@
 #if !defined(__PRE_RAM__)
 void *memalign(size_t boundary, size_t size);
 void *malloc(size_t size);
+/* We never free memory */
+static inline void free(void *ptr) {}
 #endif
 
 #endif /* STDLIB_H */