diff --git a/env/ehrenberg/platform.h b/env/ehrenberg/platform.h
index 604f9ef..bb7527a 100644
--- a/env/ehrenberg/platform.h
+++ b/env/ehrenberg/platform.h
@@ -27,16 +27,16 @@
 
 #define APB_BASE 0xF0000000
 
-#define gpio        PERIPH(gpio_t,      APB_BASE+0x0000)
-#define uart        PERIPH(uart_t,      APB_BASE+0x1000)
-#define timer       PERIPH(timer_t,     APB_BASE+0x20000)
-#define aclint      PERIPH(aclint_t,    APB_BASE+0x30000)
-#define irq         PERIPH(irq_t,       APB_BASE+0x40000)
-#define qspi        PERIPH(qspi_t,      APB_BASE+0x50000)
-#define i2s         PERIPH(i2s_t,       APB_BASE+0x90000)
-#define camera      PERIPH(camera_t,    APB_BASE+0xA0000)
-#define dma         PERIPH(dma_t,       APB_BASE+0xB0000)
-#define msgif       PERIPH(msgif_t,     APB_BASE+0xC0000)
+#define gpio        PERIPH(gpio_t,         APB_BASE+0x0000)
+#define uart        PERIPH(uart_t,         APB_BASE+0x1000)
+#define timer       PERIPH(timercounter_t, APB_BASE+0x20000)
+#define aclint      PERIPH(aclint_t,       APB_BASE+0x30000)
+#define irq         PERIPH(irq_t,          APB_BASE+0x40000)
+#define qspi        PERIPH(qspi_t,         APB_BASE+0x50000)
+#define i2s         PERIPH(i2s_t,          APB_BASE+0x90000)
+#define camera      PERIPH(camera_t,       APB_BASE+0xA0000)
+#define dma         PERIPH(dma_t,          APB_BASE+0xB0000)
+#define msgif       PERIPH(msgif_t,        APB_BASE+0xC0000)
 
 
 #define XIP_START_LOC 0xE0040000