GPIO support for RaspberryPi