Simple Hardware Switch For OS Dualbooting, Thanks To RP2040から発見。画像もここから転載。

この記事で紹介しているのは物理スイッチでブートするOSを選択するデバイスです。

RP2040ボード自体が起動ディスクとして振舞い、スイッチの状態に応じてgrubの設定ファイルがさし変得ているようです。

最近のマイクロコントローラはUSBマスストレージデバイスとして振る舞うことができるので、このようなガジェットが作りやすくなったようです。