#pragma once

#include <stdint.h>

void hal_initialize();
uint32_t hal_get_tick_count();