Just updated the Raspberry Pi to Kernel 3.13.2, from GitHub:
# git clone -b rpi-3.13.y --single-branch https://github.com/raspberrypi/linux
No problems and the system runs OK..
Pidora release 19 (Raspberry Pi Fedora Remix) Kernel 3.13.2+ on an armv6l (ttyAMA0) ........ $ uname -a Linux rgpi 3.13.2+ #1 PREEMPT Wed Feb 12 14:12:55 GMT 2014 armv6l armv6l armv6l GNU/Linux
The Pi kernel updates are tracking the kernel.org stable releases quite nicely, but – sadly – the Pidora project seems to have stalled – again.. There have been no Pidora 19 updates for some time now.. Looking on the Koji build system, there are even some ‘Pidora 20’ armv6l builds for several rpms, now, but no sign of a Pidora 20 release, yet..
The situation is far better for armv7l and Fedora, and I now have Fedora 20 running on my new Odroid U3:
Fedora release 20 (Heisenbug) Kernel 126.96.36.199 on an armv7l (ttySAC1)
Robert Gadsdon. February 12, 2014.