This might be a silly question, but how do I select a kernel to boot from on the Raspberry Pi? I've just installed Fedora 31 on both a Pi2 and a Pi3 and in both cases updating the kernel from 5.3.7-301 to 5.4.12-200 results in a broken display with lots of diagonal interlaced lines. The original kernel is still present but although the usual grub configuration files are there, the Pi is obviously ignoring them. Is there a way to boot from the original kernel? Thanks in advance ... _______________________________________________ arm mailing list -- arm@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to arm-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/arm@xxxxxxxxxxxxxxxxxxxxxxx