On Wed, Mar 07, 2018 at 09:22:06PM -0800, Don Armstrong wrote: Hi,
> sudo apt install grub-imageboot; > sudo cp 7wuj43uc.iso /boot/images; > sudo update-grub2; > > then reboot, and select the right cd image in your grub menu. That's a nice approach. Added it to https://wiki.debian.org/Firmware/Updates which already collects a few other ways on how you can handle BIOS/EFI/Firmware updates. Sven
