Adafruit's hacking-friendly Raspberry Pi linux kernel