I was becoming a little concerned that the Raspberry Pi kernel was getting left behind – at 3.1.9+ (now an EOL – End Of Life – version). So, I found the 3.2.21 source produced by bootc, at https://github.com/bootc/linux/tree/rpi-3.2.21 Compiled OK, using the ARM cross-compilation toolchain, and now running with Fedora 17: rgpi ~]$ uname -a Linux rgpi … Continue reading →