westfw:
But ... isn't sysTick part of the ARM core, run off the processor clock rather than a peripheral clock?
Yeah. The bit about the ADC clock in the last code is unrelated, except that it saves a tiny bit more power. (It's the only peripheral clock the Arduino setup code turns on without any action on our part.)