timer: last bits needed for a platform without a timer interrupt

diff --git a/Kernel/timer.c b/Kernel/timer.c
index 687844c..b1c5a08 100644 (file)
--- a/Kernel/timer.c
+++ b/Kernel/timer.c
@@ -58,7 +58,7 @@ void wrtime(time_t *tloc)
        irqrestore(irq);
 }
 
-#ifndef CONFIG_RTC
+#if !defined(CONFIG_RTC) && !defined(CONFIG_NO_CLOCK)
 static uint8_t tod_deci;
 /* Update software emulated clock. Called ten times
    a second */