On 2021-10-31, Stefan wrote: > +(define-public %u-boot-rpi-efi-configs > + '("CONFIG_OF_EMBED=" > + "CONFIG_OF_BOARD=y" > + "CONFIG_BOOTDELAY=0")) This is surely a matter of opinion, but CONFIG_BOOTDELAY=0 is kind of nasty; it makes it nearly impossible to debug from a u-boot prompt if needed. The default is probably "2" ... long enough to actually interrupt it, but short enough that it shouldn't cause huge delays in the boot process... I know grub-efi will add it's own delay, so in a working environment, this just seems like an additional two seconds, but u-boot's EFI implementation is changing often enough that I wouldn't be surprised if you need to occasionally debug something. live well, vagrant