How is work progressing on supporting the Raspberry Pi 4 and Raspberry Pi 400 boards?
I don’t know if you saw that:
Thanks, seems it didn’t show up on my original search, perhaps because the title is Pi4 instead of Pi 4.
Good to know, thanks for your help!
On the Fedora ARM mailing list there is a recent thread about this topic.