#ifndef HAL_TIMER_H
#define HAL_TIMER_H

#include <stdint.h>

typedef void (*hal_timer_tick_cb_t)(void);

void hal_timer_init(uint32_t frequency_hz, hal_timer_tick_cb_t tick_cb);

#endif