”We're excited to announce the release of Pidora 18 — an optimized Fedora Remix for the Raspberry Pi. It is based on a brand new build of Fedora for the ARMv6 architecture with greater speed and includes packages from the Fedora 18 package set.”
http://lists.fedoraproject.org/pipermail/arm/2013-May/006033.html
У 5.1 незавидная участь.