diff --git a/include/arch/esp8266/driver/counter.h b/include/arch/esp8266/driver/counter.h
index 0b50c8eadf8cad57a7680322262d590c109fca71..beb36e59ee92321567cd78571dd4c7856b98371c 100644
--- a/include/arch/esp8266/driver/counter.h
+++ b/include/arch/esp8266/driver/counter.h
@@ -7,8 +7,8 @@ extern "C" {
 }
 #include "c_types.h"
 
-typedef counter_value_t uint32_t;
-typedef counter_overflow_t uint32_t;
+typedef uint32_t counter_value_t;
+typedef uint32_t counter_overflow_t;
 
 class Counter {
 	private:
diff --git a/include/arch/esp8266/driver/uptime.h b/include/arch/esp8266/driver/uptime.h
index 21740c94ba93e306335a944c52e66654cd67217b..44dde4348d76bd0414df583e6ef4a9146c435eac 100644
--- a/include/arch/esp8266/driver/uptime.h
+++ b/include/arch/esp8266/driver/uptime.h
@@ -14,6 +14,7 @@ class Uptime {
 	public:
 		Uptime () {}
 		inline uint32_t get_us() { return system_get_time(); }
+		inline uint32_t get_s() { return system_get_time() / 1000000; }
 
 		inline uint32_t get_cycles()
 		{