Kernel 3.9 is just out, and already the Raspberry Pi version is available, at https://github.com/raspberrypi/linux/tree/rpi-3.9.y Use the ‘zip’ download (cloud symbol), which will give you the source tree in rpi-3.9.y.zip.. This is good news, as it suggests that the Pi kernel version is now closely tracking the kernel.org code, after previous versions were delayed somewhat (3.8.y was … Continue reading →