From 5fe1aade34fc6619c07c90fb21d06c03bbfa77c6 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sebastien@milkymist.org>
Date: Sat, 2 Jun 2012 00:16:38 +0200
Subject: [PATCH] software/libbase: uintptr_t

---
 software/include/base/stdint.h | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 software/include/base/stdint.h

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 */
+