/* Driver for the STM32L151 RTC, as timestamp in seconds */

#pragma once

void rtc_init();

int rtc_get();

void rtc_sleep(int timeout_msec);