Is raspberry pi 4 support ready with Fedora 31? I see the dtd file (bcm2711-rpi-4-b.dtb) , the line "kernel=rpi4-u-boot.bin" is present in config.txt but the actural file (rpi4-u-boot.bin) missing in Fedora-Minimal-31_Beta-1.1.aarch64.raw.xz; rpi 4 will not boot and the led flashes 7 times, which may mean kernel missing? Thanks! _______________________________________________ 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