is Raspberry Pi 4 officially supported by Fedora? Both docs and wiki don't mention Pi 4 as supported. The wiki even says that "We do not (as of 30th October 2019) support the Raspberry Pi 4 in any Fedora release."
On the other hand, I tried writing a Fedora image onto an SD card and booting an RPI 4 from it and it worked flawlessly. So maybe the docs and wiki are just outdated?
arm mailing list -- email@example.com
To unsubscribe send an email to firstname.lastname@example.org
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://email@example.com
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure