Update: This is no longer the most current kernel. You can find the latest version on my Raspberry Pi kernel project page.
Well, just as I uploaded my 3.2.17 kernel someone decided it would be a good idea to post 3.2.18. So here it is. It also incorporates a new patch that allows this kernel to be booted on the Raspberry Pi using kexec
– previously, trying to do this would hang the Pi. Grab it from:
- Source tree on GitHub
- Pre-built Debian package
Please see my previous post (about the 3.2.17 kernel) for notes regarding the Raspberry Pi firmware.
If you want to use kexec
, remember to give your kexec
kernel some boot arguments with the --command-line=
option, or it will seem like your kernel has crashed. Something like this might be a good idea: kexec --command-line="$(cat /proc/cmdline)" /boot/vmlinuz-3.2.18-rpi1+
.