Hi, is there some documentation available of how to use GPIO on a Raspberry Pi B+ than man gpio, man gpioctl etc? All the documentation I found was for Linux. Of course, I would like to avoid Linux. Erich