2020-07-28 RasPi4 が PXE 対応していた

いつの間にか RasPi4 が PXE 対応していたらしい.USB BOOT も出来るようだ.
何だかなー.情報のとり方がまずいのかな? うーん.