Adafruit's hacking-friendly Raspberry Pi linux kernel - View it on GitHub