Also useful is

  /usr/bin/setclock

which sets the hardware clock to the current system time.