Compiling a new Raspberry Pi kernel

The stock Raspberry Pi kernel, as supplied with the default Raspbian distribution, is pretty good – albeit not always especially streamlined. However, building a custom kernel with different options can be an unexpected minefield: many seemingly innocuous changes can cause the Pi to fail to boot – often with the VideoCore system failing to initialise or with USB networking problems.

There follows a list of patches and observations which should hope to make this process less trial-and-error…