Ken Hornstein wrote:
> >I don't know what units TIMER_FREQ is in.  Taking a naive guess, I add
> >512 to it, giving me 1189712.  Since you suggest overcompensating,
> >perhaps 1189800?  
> 
> The units are in hertz ... it's the frequency for some PC-compatible
> interval timer which is used at the clock interrupt 

Thank you, both, very much.  After a reboot, everything seems fine; both
boxes show the same time.  But now I know I have to keep an eye on it, and
have the knowledge to fix it.  

Best regards, 

--jkl