Raspberry Pi OS (32-bit)の2020-08-20版がいつの間にかリリースされていました。RSSリーダーでチェックしていたつもりが、Raspberry Pi OSに改称後、リリースノートのURLがしれっと変わっていて更新を取りこぼしていました。しょんぼり。 前回のリリースからの変更はバグ修正が多めですが、Linuxカーネルが5.4.51に変更された点と、Raspberry Pi 4のEEPROMのリリースバージョンやPXE/USBマスストレージブートの有効化の設定がraspi-configコマンドでできるようになったのが目玉でしょうか。カーネルはちょっと前からapt upgradeで降ってきていたので、もう気づいてる or 使っている人は多いとは思いますが。 リリースノートにはないですが、(5月リリースバージョンからapt upgradeした環境で)気がついたらVLCの