Normal PWM setup

I am building a boost converter and want it to operate at 25khz