You have forgotten OS Centos sub forum. 🙂
seriously, Centos 7 is, already, available for some sbc like raspberry pi.
https://wiki.centos.org/SpecialInterestGroup/AltArch/Arm32
https://lists.centos.org/pipermail/arm-dev/
And with Centos, RedHat is not very far away…