Timer1 frequency limit

Hi,

I'm new of Marlin firmware but I use arduino for other projects.

Can someone explain to me the limit of 10KHz for the timer1 used by the stepper module to generete the step pulses?

If I need to move at an highest frequency can I change the timer frequency?

There is a detailed documentation of the code and the relative design?

Thanks a lot

Carlo