On Tue, May 30, 2023 at 02:44:24PM +0200, Lionel Élie Mamane wrote: > * how do I get an EFI shell without having to use the install USB > stick I see that Debian experimental has has en EFI shell in package efi-shell-aa64, so I have my solution :) Plus I filed https://bugs.debian.org/1036948 to have it automatically installed in the EFI partition and show up automatically in grub