[fedora-arm] Orange Pi support?

[Richard Shaw]

So as RPi's have issues not to mention being unobtainium right now, what's
the support status on Orange Pi4's?

Thanks,
Richard