startup and debug led

[rpikern] / src / libc / stdint.h

diff --git a/src/libc/stdint.h b/src/libc/stdint.h
new file mode 100644 (file)
index 0000000..7050344
--- /dev/null
+++ b/src/libc/stdint.h
@@ -0,0 +1,12 @@
+#ifndef LIBC_STDINT_H_
+#define LIBC_STDINT_H_
+
+typedef char int8_t;
+typedef short int16_t;
+typedef long int32_t;
+
+typedef unsigned char uint8_t;
+typedef unsigned short uint16_t;
+typedef unsigned long uint32_t;
+
+#endif /* LIBC_STDINT_H_ */