Sì, c'è un driver standard. Questa pagina mostra i passaggi di base per l'utilizzo di gpio.
In Python usando Adafruit Libray,
import Adafruit_BBIO.GPIO as GPIO
Pin = "P8_8"
GPIO.setup(Pin, GPIO.IN) # set GPIO25 as input (button)
def my_callback(channel):
if GPIO.input(Pin):
print "Rising edge detected on 25"
else: # if port 25 != 1
print "Falling edge detected on 25"
GPIO.add_event_detect(Pin, GPIO.BOTH, my_callback, 1)
Ecco il link di riferimento.