#pragma once

#include <stddef.h>
#include <stdint-gcc.h>

void init_timer (uint32_t frequency);