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