Odyssey x86 PWM

Are any of the x86 pins set up for PWM or is it necessary to use the Arduino core for PWM interfaces?

I suggest using Arduino Core for PWM. Convenient, Easy to use.