coco3: runtime call dwtime.c's init() routine.

diff --git a/Kernel/platform-coco3/devices.c b/Kernel/platform-coco3/devices.c
index 1d5ae7a..5d47efd 100644 (file)
--- 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( );
 }