Get tinibios clock timer interface working on ds400

[fw/sdcc] / device / examples / ds400 / monitor400 / mon400.c

diff --git a/device/examples/ds400/monitor400/mon400.c b/device/examples/ds400/monitor400/mon400.c
index 15b05fb2d7827906f482c4fc9404fcfe8f9ce71f..478c592792d9f8134cf8f364870e2ac0f62e065a 100644 (file)
--- a/device/examples/ds400/monitor400/mon400.c
+++ b/device/examples/ds400/monitor400/mon400.c
@@ -11,6 +11,9 @@ void usage(void)
     puts("Available commands:\n");
     puts("ledon: turns LED on.");
     puts("ledoff: turns LED off.");
+    puts("startclock: starts millisecond timer.");
+    puts("clock: reports millisecond timer.");
+    puts("sleep: sleeps for 10 seconds (or forever if you didn't startclock first).");
 }
 
 void main(void)
@@ -49,6 +52,24 @@ void main(void)
            P5 |= 4;
            printf("LED off.\n");
        }
+       else if (!strcmp(buffer, "startclock"))
+       {
+           printf("Starting clock...\n");
+           ClockInit();
+       }
+       else if (!strcmp(buffer, "clock"))
+       {
+           printf("Clock: %ld\n", ClockTicks());
+       }
+       else if (!strcmp(buffer, "sleep"))
+       {
+           printf("Sleeping for 10 seconds...\n");
+           
+           ClockMilliSecondsDelay(10 * 1000);
+           
+           printf("Back.\n");
+       }
+       
        else if (buffer[0])
        {
            printf("Unknown command \"%s\".\n", buffer);