[Pkg-raspi-maintainers] GPIO support / Ubuntu images

[Lucas Nussbaum]

Hi,

I noticed that Ubuntu ships a patch for rpi.gpio that is supposed
(according to the patch description -- I haven't tested) to add GPIO
support.
https://patches.ubuntu.com/r/rpi.gpio/rpi.gpio_0.6.5-1ubuntu1.patch

I'm wondering if somebody looked at Ubuntu images (provided on
https://wiki.ubuntu.com/ARM/RaspberryPi)? There might be other things to
import back into Debian.

Lucas