Raspberry Pi OS (32-bit) 2020-08-20版と、簡単になったPXE/USBブート設定の紹介
Raspberry Pi OS (32-bit)の2020-08-20版がいつの間にかリリースされていました。RSSリーダーでチェックしていたつもりが、Raspberry Pi OSに改称後、リリースノートのURLがしれっと変わっていて更新を取りこぼしていました。しょんぼり。前回のリリースからの変更はバグ修正が多めですが、Linuxカーネルが5.4.51に変更さ…
