http://www.emlid.com/raspberry-pi-real-time-kernel/

ich muß mal zu hause gucken, ich habe noch ein link.