How to configure ADC Peripheral in STM32 for 4Ksps ?

[waclawek.jan]

Set the ADC to be triggered from a timer, and set that timer to generate triggers at 4kSps rate.

Read the ADC and Timer chapters in Reference Manual for further information.

JW