basekernel/kernel/rtc.h

19 lines
356 B
C
Raw Normal View History

2024-10-14 23:08:33 +02:00
/*
Copyright (C) 2015-2019 The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file LICENSE for details.
*/
#ifndef RTC_H
#define RTC_H
#include "kernel/types.h"
extern uint32_t boottime;
void rtc_init();
void rtc_read(struct rtc_time *t);
uint32_t rtc_time_to_timestamp(struct rtc_time *t);
#endif