Beaglebone での割り込み

はい、標準ドライバーがあります。このページでは、gpio を使用するための基本的な手順を示します。

Adafruit Libray を使用する Python では、

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)

参考リンクはこちら。