/dev/rtc
/dev/rtcid
/dev/nvram
The rtc file when read returns the time as a decimal number, expressed as the number of seconds since the epoch, 1 January 1970 00:00 GMT. The clock is set by writing the desired number of seconds since the epoch to the file. Setting the time in this device has no effect on system time returned by /dev/time (see cons(3)), which must be set separately if desired. For example, when rtc is available osinit (see init(8)) uses it to set /dev/time.
The nvram file provides access to the non-volatile memory commonly implemented by these clock chips. There are no cross-platform standards for the range of addresses that can be safely used by Inferno, or for the content and format of the data.
The rtcid file holds a decimal number giving the serial number of the device, set during manufacturing. The file exists only if a particular device provides such a number.
RTC(3 ) | Rev: Tue Mar 31 02:42:38 GMT 2015 |