I do ARM development for the Fedora project (fedoraproject.org), and we used to be the so-called main distro for the RPI. We lost that to raspian, and the reason is nobody in the project actually wanted to use the RPI. It really is a very poor ARM device compared to all the others, and the central point is that it's using ARMv6. The cost is very high as all the thousands of packages would have to be recompiled to support the RPI, and sadly the RPI is the only ARMv6 board, most of the other ARMv6 were cell phones. That means it's more productive to target ARMv7 or ARMv5 as there were many many boards with those parts. Fortunatly the RPI will work with the ARMv5 software, and we have measured very minimal improvements by going with ARMv6 packages. Any anyhoo, nobody I know actually wants to use the RPI for anything. It's a bad boards. Right now the latest ARM hotness is the arndale boards, and the 2012 samsung chromebook that features an ARMv7 a15 exynos SoC. That bad boy supports hardware virtualization