#ifndef __DEBUG_SERIAL_H #define __DEBUG_SERIAL_H #include #include #include "uart.h" void timer_init(); void test_timer(); unsigned int ticks_to_seconds(); #endif