1 files changed, 3 insertions, 0 deletions
diff --git a/device.c b/device.c
index bec5a1a..33be8c7 100644
--- a/device.c
+++ b/device.c
@@ -13,10 +13,12 @@
 
 #include "nios2sim-ng.h"
 #include "device.h"
+#include "timer.h"
 #include "uart.h"
 #include "jtag_uart.h"
 
 static struct device *devices[] = {
+	&timer_core,
 	&uart_core,
 	&jtag_uart_core,
 };
@@ -24,6 +26,7 @@ static struct device *devices[] = {
 
 bool device_generic_is_dev_addr(struct device *dev, uint32_t addr)
 {
+	/* XXX: Also check alignment? */
 	if (addr >= dev->base && addr < dev->base + dev->size)
 		return true;