(I wrote this over 12 hours ago, before I went to bed, and forgot to send
first.)
Joe composed on 2021-06-12 07:59 (UTC+0100):
> It doesn't help that the BIOS is broken, that it does not honour the
> EFI DefaultBoot, and always rewrites entry 0000 if I change it.
There's no need for the Debian entry to be 0000. One normally can change the
boot
priority order with either efibootmgr or BIOS setup. If the BIOS is broken and
an
upgrade isn't available, a CMOS reset should provide a workable solution. Pull
the
plug, take the CMOS battery out, and leave it out as long as it takes for
everything to be forgotten. Removing all bootable devices might be required to
make forgetfulness stick. If that doesn't work, put a wiped drive in for reset
purposes.
--
Evolution as taught in public schools is, like religion,
based on faith, not based on science.
Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!
Felix Miata
