leOS, pauseTask e restartTask!

Ti potrebbe fare?
http://www.arduino.cc/playground/code/timer1
Puoi usare il timer 1 per impostare un segnale PWM su un qualsiasi pin, scegliendo la frequenza.