参考: 定番!ARMキット&PIC用Cプログラムでいきなりマイコン制御[DVD-ROM付き] (マイコン活用シリーズ), pp.95-98
Timer1 を周波数カウンターに使う。Timer1 のクロックソースを外部クロックに設定し、その外部クロックの数 (下の例では Genuino101 から出力されるパルスの数) を 1 秒間カウントする。16 ビットカウンターであるので、分周比を 1 にすれば (1/1) × (2^16-1) = 65.535 kHz まで測れる。さらに高い周波数まで測りたいときは分周比を上げるか測定時間を短くするかする。
main.c
// テキスト p.97、リスト 10-2 のまま