UF2 ファイル

UF2 は USB Flashing Format の略で、Microsoft が 2017 年に MakeCode (PXT) プラットフォーム向けに作成したファイル形式です。USB マスストレージ経由でマイコンに書き込むために構築されています。ボードは通常のリムーバブルドライブとして表示され、他のファイルと同じようにファームウェアをコピーできます。仕様はオープンであり、Microsoft によって MIT ライセンスの下で公開されています。

.uf2 ファイルは、512 バイトのブロックが並んだフラットなシーケンスです。各ブロックは自己完結型です。マジックナンバー、ターゲットのフラッシュアドレス、ペイロード長、ブロックのインデックスと総数、ターゲットチップを識別するファミリー ID を含む 32 バイトのヘッダーがあり、その後に最大 476 バイトのファームウェアと末尾のマジックナンバーが続きます。この設計は現実的な問題を解決します。OS はコピーされたファイルのブロックを任意の順序で書き込む可能性があるため、各ブロックを独立させることで、ボードのブートローダーはファイルの一部しか届いていない状態でも、データが到着した瞬間にフラッシュメモリに書き込むことができます。

ほとんどの人は、ホビー用や教育用ボードをプログラミングする際に UF2 に出会います。Raspberry Pi Pico (RP2040)、BBC micro:bit、および多くの Adafruit、Arduino、Seeed ボードが UF2 を受け入れ、CircuitPython や MakeCode プロジェクトのインストールに使用されます。通常、MakeCode などのエディターからエクスポートするか、特定のボード用にビルド済みのファームウェアをダウンロードすることで .uf2 を入手します。関連するファームウェア形式には、生の .BIN イメージや Intel .HEX ファイルがあります。