STM32L100 SysStick not divided by 8?
Okay, I figured no-one would answer me here, so I tried some experimentation.

Turns out, as of ARMv6, the meaning of the SysTick_CSR_CLKSOURCE is changed:


0 = system clock / 8
1 = system clock


I had it configured to 1, which explains everything.

If only the datasheets weren't so confusing...