以下のプログラムを実行すると、LEDがそれぞれの周期で点滅します。
通常モードでコピペすると悲しいことになりますので注意してください。
現在の実行環境をチェックします。Linux版ではGPIOを使えないのでエラー終了しています。
GPIOやタイマを使用するため、machineモジュールをインポートします。
周期的に実行するため、タイマのcallbackを使用します。そのcallback関数です。端子を反転する処理を行っています。
細かい話ですが、このcallback関数はハードウェアの割り込みハンドラで直接実行されるのではなく、ハードウェアの割り込みハンドラで仮想マシンの例外をアサートし、仮想マシンのコマンドループ内で例外として処理されるようです。