BarinkOS/kernel/timer.h

#pragma once

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

void init_timer (uint32_t frequency);