This was something that Pedro worked on IIRC. There's also general support for GPIO as well.
On Tue, Mar 8, 2016 at 7:37 AM, Antonio Barrones <antonio....@gmail.com> wrote: > There are a google summer of code about Porting Raspberry Pi audio > drivers to Plan 9 (2014) with the sources: > https://www.google-melange.com/gsoc/project/details/google/gsoc2014/pcoutin/5750085036015616 > > Antonio >