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 only released in time for 3.8.4..)

Robert Gadsdon.   May 2, 2013..