demo: reset TDC core at startup

demo/software/demo/main.c

@@ -284,8 +284,8 @@ int main(int i, char **c)
 
 	/* Display a banner as soon as possible to show that the system is alive */
 	putsnonl(banner);
-
 	crcsw();
+	tdc_reset();
 
 	while(1) {
 		putsnonl("\e[1mTDC>\e[0m ");

demo/software/demo/tdc.c

@@ -25,6 +25,11 @@
 
 static volatile struct TDC_WB *tdc = (void *)0xa0000000;
 
+void tdc_reset()
+{
+    tdc->CS = TDC_CS_RST;
+}
+
 void rofreq()
 {
     int val;

demo/software/demo/tdc.h

@@ -19,6 +19,7 @@
 #ifndef __TDC_H
 #define __TDC_H
 
+void tdc_reset();
 void rofreq();
 void calinfo();
 void mraw();