On Mon, Dec 23, 2013 at 5:32 PM, Geert Jansen <geertj at gmail.com> wrote: > Out of curiosity: why is there such a difference in how the RPi is > handled and how other ARM boards are handled (BBB, etc.) in Fedora? Not so much boards as ARM architectures. The BBB and other boards that we support are ARMv7, the Raspberry Pi is ARMv6. Peter