Hello guys, is Raspberry Pi 4 officially supported by Fedora? Both docs[1] and wiki[2] 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."[3] 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? Cheers, Ondřej [1]: https://docs.fedoraproject.org/en-US/quick-docs/raspberry-pi/ [2]: https://fedoraproject.org/wiki/Architectures/ARM/Raspberry_Pi#Prerequisites [3]: https://fedoraproject.org/wiki/Architectures/ARM/Raspberry_Pi#Raspberry_Pi_4 _______________________________________________ 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 Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
