@ -14,4 +14,14 @@
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
#include "timer.h"
void timer_init(void) {}
void timer_clear(void) {}
uint16_t timer_read(void) { return 0; }
uint32_t timer_read32(void) { return 0; }
uint16_t timer_elapsed(uint16_t last) { return 0; }
uint32_t timer_elapsed32(uint32_t last) { return 0; }