なんかこんがらがったので整理。知りたいのは
1) T85の持ってるハードウェアPWMで適切な周期、十分な刻みのサーボ駆動用PWM信号が出せるか
2) それが安定していてサーボモーターが震えず大きな音を発しないか
3) 反転出力ピンのGPIOは使えるのか
1)の計算。周期20msecでおよそ0.1msec=10kHz毎にHIGH期間をコントロールしたい。クロック1M/10k=100分周に一番近いのは128分周。このときPWMサイクルは1M/128Hzつまり1000/(1M/128)=0.128msec。このPWMサイクルで20/0.128=156.25カウント（正確には156-1カウント）するとタイマリセットするようにすれば20msec(正確には156*0.128=19.968msec）毎のPWMサイクルができる。
サーボは0.5msecで0度、2.4msecで180度。
0.5/0.128≒4、4カウントでLOWにすると0度。
2.4/0.128≒18、18カウントでLOWにすると180度。
刻み数は18-4+1=15。50ppm毎針を動かすと考えると400+14*50=1100。1300くらいあった方が面白いけど実用上は十分か。
