Raspberry pi spi kernel

You can download the raspberry pi spi kernel from http://www.bitwizard.nl/software/rpi-binary-kernel-20120606.tgz (or remove the last pathname component to see if there is a newer version.).

The tarfile contains a boot/kernel.img, boot/system.map (should you get kernel oopses we can look up the symbols) and the /lib/modules/ directory. I suggest you use a spare SD card and unpack this to the root of your SD card, or be prepared to reinitialize your SD card should something go wrong (i.e. can no longer boot). (I don't expect so, but just to be sure).

The patch if you want to compile your own kernel is at: http://www.bitwizard.nl/software/rpi-spi-20120606.patch