diff --git a/sw/lib/include/platform.h b/sw/lib/include/platform.h
index de2a401a..ad416822 100644
--- a/sw/lib/include/platform.h
+++ b/sw/lib/include/platform.h
@@ -38,7 +38,11 @@
     #define TIMER_ADDR      0x40004000
 
     // ------ CLOCK FREQUENCY --------
-    #define CLK_FREQ 12000000
+    // Spartan6-mini
+    // #define CLK_FREQ 12000000
+    
+    // DE0-CV
+    #define CLK_FREQ 50000000
 
 #else
 #ifdef TARGET_ATOMBONES
diff --git a/sw/lib/include/serial.h b/sw/lib/include/serial.h
index 541b0aaf..a72fea0c 100644
--- a/sw/lib/include/serial.h
+++ b/sw/lib/include/serial.h
@@ -1,5 +1,6 @@
 #pragma once 
 #include <stdbool.h>
+#include <stdint.h>
 
 // Baud Rates
 #ifdef SIM