Le 26/03/2021 à 12:33, Steve McIntyre a écrit :
Please see https://wiki.debian.org/UEFI for more documentation on UEFI in Debian. In that document I tried to cover a lot of the issues raised in this thread.
... and you succeeded. Thank you for your good work, Steve :-)