src/include/source/timer.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef SOURCE_TIMER_H
#define SOURCE_TIMER_H

#define TICKS_PER_SECOND 50

#include<types.h>

void timer_handler(void);
void init_timer(uint32_t frequency);

#endif