#ifndef PIT_H
#define PIT_H

#include "stdint.h"

void init_timer(uint32_t frequency); //frequency in Hz

#endif