メモ:rp-hal(RustでRaspberry Pi Picoをプログラミングするやつ)でタイマーを使いたい

ある関数を定期的に実行したいとき、公式のSDKだと add_repeating_timer_ms() add_repeating_timer_us() という関数が用意されていて、callback関数を渡すとそれを定期的に実行してくれるらしい。 実際のコードはこのへんとか、RP2040のデータシートの「4.6.4. Timer - Programmer’s Model」あたりにある。 (実際にやって…