#pragma once

#include "common.h"
#include <stdint.h>

void init_timer(uint32_t frequency);