Intel Galileo vs TimerOne library

Hi- First post here.. but this aint my first rodeo.. I am working with a Galileo board (don't have it yet, but coding non-the-less), and need to make use of PWM at higher than "normal" frequencies. I've read the TimerOne library and references to setting registers, etc to change the prescale value. Unfortunately it seems that the library in the Galileo package is lobotimized and doesn't really do anything on the pwm function calls. So the question is - Is there a work-around for this? Or better yet is there a library that is truely functional?

Thanks in advance Bart

The Intel Galileo is not an Arduino. Go ask Intel.