#pragma once
#include <stdint.h>

uint64_t sys_get_ticks(void);
void     sys_tick_setup(void);
uint64_t sys_ticks_get(void);
void     delay_ms(uint64_t ms);