The date service enables the ChorusOS operating system to maintain
the current date (usually expressed in seconds since 01/01/1970). Calls to
set and get the time are available in the standard C libraries ctime
and localtime
, and are not detailed
in this document.