From c9773a41a30212026901165dfdacb545b7bbfd4f Mon Sep 17 00:00:00 2001
From: Brett Gordon <beretta42@gmail.com>
Date: Tue, 22 Mar 2016 14:41:36 -0400
Subject: [PATCH] coco3: runtime call dwtime.c's init() routine.

---
 Kernel/platform-coco3/devices.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel/platform-coco3/devices.c b/Kernel/platform-coco3/devices.c
index 1d5ae7aa..5d47efd2 100644
--- a/Kernel/platform-coco3/devices.c
+++ b/Kernel/platform-coco3/devices.c
@@ -47,5 +47,6 @@ void device_init(void)
 #ifdef CONFIG_COCOSDC
 	devsdc_init( );
 #endif
+	dwtime_init( );
 }
 
-- 
2.34.1