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+.