On Tue, 2019-11-26 at 22:34 +0000, James Shuriff wrote: > kern.timecounter.tc.ARM MPCore Timecounter.frequency: 54000000 54 MHz seems like a very strange frequency for a clock in an arm system. Of course, everything about an RPi seems to be strange and non-standard. Can someone else with an rpi3 (which keeps good time) confirm that that's the usual number? -- Ian