/* This function will set MCU RTC time to a new value. */
int32_t hal_rtc_set_time(rtc_dev_t *rtc, const rtc_time_t *time)
/* This function will set MCU RTC time to a new value. */
int32_t hal_rtc_set_time(rtc_dev_t *rtc, const rtc_time_t *time)
{
    int ret = 0;
    ret = rx8130ce_set_time(time, sizeof(rtc_time_t));
    if(ret)
    {
        printf("board rtc set time fail\r\n");
        return -1;
    }
	return 0;
}