RTC Implementation #4
Description
Implement a simple RTC driver in kernel/src/arch/amd64/rtc/rtc.{h,c}. It should have the following functions to interface:
uint64_t amd64_rtc_read(): Reads from the CMOS RTC and returns the datetime as a Unix timestamp.void amd64_rtc_set(uint64_t timestamp): Sets the CMOS RTC to the given timestamp.