#ifndef TIMER_H
#define TIMER_H

#include <stdint.h>

// Делаем счетчик видимым для всего ядра
extern uint32_t system_ticks;

void timer_init(uint32_t frequency);
void timer_handler(void);

#endif