A major refactor of the GoodFET firmware build system and apps to give better

[goodfet] / firmware / include / platform.h

diff --git a/firmware/include/platform.h b/firmware/include/platform.h
index 134a082..a9f9ebc 100644 (file)
--- a/firmware/include/platform.h
+++ b/firmware/include/platform.h
@@ -12,6 +12,7 @@
 #include <signal.h>
 #include <io.h>
 #include <iomacros.h>
+#include <stdint.h>
 
 #include "config.h"