diff --git a/software/include/base/stdint.h b/software/include/base/stdint.h
new file mode 100644
index 000000000..92aa15a6c
--- /dev/null
+++ b/software/include/base/stdint.h
@@ -0,0 +1,7 @@
+#ifndef __STDINT_H
+#define __STDINT_H
+
+typedef unsigned int uintptr_t;
+
+#endif /* __STDINT_H */
+