> It sounds like your entry in your UEFI boot manager was erased. Did > you perform a UEFI update or clear it? > > To fix it in the future run "efibootmgr -c" to reinsert the entry. Aaaah. Thanks for pointing me at efibootmgr. -benjamin -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
