SysTick vs. keeping an Arduino Due in Sleep mode

[westfw]

But ... isn't sysTick part of the ARM core, run off the processor clock rather than a peripheral clock?