Erfahrung mit Anpassung von Xenomai Patch für Raspberry Pi 2

[Miguel V. (chilla)]

Hallo zusammen,
ich versuche momentan mein RPi 2 mit Xenomai auszustatten um somit eine 
Real-Time Umgebung zu erzeugen.
Bisherige Versuche liefen schief. Durch die Anleitung aus der folgenden 
Seite:
http://wiki.linuxcnc.org/cgi-bin/wiki.pl?RaspbianXenomaiBuild
bin ich auf meine Fehlerquelle gestoßen. Mir fehlt ein Xenomai Patch für 
das RPi.
Da ich allerdings nicht mit der "veralteten" Kernel Version 
einverstanden bin (Linux 3.2.27 und Xenomai 2.6.1) zu der es jedoch nur 
eine benötigten Patch gibt, ist meine Frage ob hier jemand Erfahrung 
damit hat welche Parts ich aus dem alten Patch neu schrieben bzw. 
anpassen muss, damit es beispielsweise für ein Linux der Version 3.18 
verwendet werden kann.
Ein Patch der aus der Anleitung aus dem oberen Link kommt wäre dieser
http://www.cim.mcgill.ca/~ian/rpi-linux-3.2.21-xenomai-2.6.1.patch

Mir ist schon bewusst das Elemente wie beispielsweise der Benötigte 
ipipe-core auf die Kernel Version angepasst werden muss.
Aber wie ist es mit den Header datein etc,

Ich hoffe ihr könnt mir helfen mit Hinweisen, Erfahrungen und Tipps
Vielen Dank im Voraus