On Fri, 2025-06-13 at 00:34 +0200, Pascal Hambourg wrote: > did you run update-grub after editing /etc/default/grub ?
Yes, I did. > Also, what happens if you remove/rename /boot/grub/grub.cfg ? It > should display the grub> command line prompt. It doesn't. I do again get the empty background image. > What do you mean ? I wanted to check if the change in the GRUB configuration did actually survive my reboot. And I could confirm that it did. > > What is the Libreboot version ? I checked with the command "lscoreboot" and it gave me the Coreboot version 1c84243, which was build in September 7 2016. In the mean time I downloaded the newest Libreboot version but I am doubtful on how to actually use it since the documentation mentions a lot of stuff which seems to be mostly useful for developers.
