Updated Raspberry Pi Kernel

Update: This is no longer the most current kernel. You can find the latest version on my Raspberry Pi kernel project page.

Last bit of Raspberry Pi work this weekend was to update my 3.2-based kernel. This latest update brings it up to 3.2.17 with the latest patches from the official Raspberry Pi kernel (with updates for MMC/SDHCI among others) and includes my SPI and I2C drivers. Grab it from:

I also highly recommend you update your firmware in your SD card’s boot partition to the latest available version. Note that the default start.elf in that set of files appears to be the 128M variant – you may wish to use the 192M version instead by copying arm192_start.elf as start.elf on your SD card. I tried the 224M variant but that didn’t work at all for me.

With the latest firmware you also don’t need to worry about the first32k.bin being added to your kernel. Just install the kernel package and copy /boot/vmlinuz-3.2.17-rpi1+ to kernel.img on your SD boot partition (/mnt/boot in my Wheezy image).

I’ll be updating my Wheezy image in the next few days to incorporate this latest kernel and a significant number of package updates.

4 thoughts on “Updated Raspberry Pi Kernel

  1. Pingback: Chris's Digital Realm » Another new RPi kernel

  2. Hi there.
    I am currently using the debian image from the raspberry pi downloads section on my pi. Can i just download this debian package and run it using dpkg to gain access to the i2c ports or do i have to build your kernel for it to work?

    sorry if this seems like a silly question.

    thankyou in advance.

    • Yes, you can just use ‘dpkg -i ‘ to install the package. You will then need to make sure you have the latest firmware files for your Raspberry Pi, and copy /boot/vmlinuz-3.2.17-rpi1+ to /boot/kernel.img. Please note I have an updated kernel available, based on 3.2.18, in a later post on my blog.

Comments are closed.