From bb8e7336e4248b21517ed18a75b4d0343a3a0d53 Mon Sep 17 00:00:00 2001
From: Tobias Klauser <tklauser@distanz.ch>
Date: Tue, 21 Dec 2010 11:42:50 +0100
Subject: Updates all over the place (mostly devices)

---
 device.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'device.c')

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;
 
-- 
cgit v1.2.3-54-g00ecf