Re: There has been progress
The Linux vendors (especially Redhat) refuse to support ARM for development on any widely available SBC. This is because even though Raspberry PI is possibly the most sold SBC ever (except maybe Arduino), they don’t invest in building a meaningful development platform on the device.
I think part of the problem with RHEL on rPi is underlying functionality needed by the enterprise-level systems Don't ask the specifics, it's a bit beyond me, but if Fedora can work, maybe Arm SBC development and RHEL could eventually meet.