+void send_timer() {
+ /* send a packet of the form KX with X being the key, or R for reset */
+ unsigned int t=get_timer_counter();
+
+ send_string("013 ");
+ sci_tx_buf[0] = '0'+(t/10000)%10;
+ sci_tx_buf[1] = '0'+(t/1000)%10;
+ sci_tx_buf[2] = '0'+(t/100)%10;
+ sci_tx_buf[3] = '0'+(t/10)%10;
+ sci_tx_buf[4] = '0'+t%10;
+ sci_tx_buf[5] = 0;
+ send_buffer(1);
+}
+