Generating PWM using Arduino Uno and Simulink (interfacing) pins 5 and 6. What's the maximum frequency?
See my page about timers. The maximum frequency the hardware can output is 8 MHz if you are running a 16 MHz clock.

10 kHz should be easily achievable if you tweak the hardware registers, as Gerben said.