rtc.h

#ifndef __RTC_H__
#define __RTC_H__

#include <stdint.h>
#include <stdbool.h>

void RTC_init(void);

void RTC_getTime(uint32_t *time);

void RTC_getTime_ms(uint64_t *time_ms);

void RTC_setTime(uint32_t *time);

bool RTC_timerElapsed_ms(uint64_t start_time_ms, uint64_t period_ms);

#endif /*  __RTC_H__ */