Dans un article précédent, j’indiquais que le support des interruptions déclenchées par les ports GPIO du Raspberry Pi n’était pas encore satisfaisant sous Xenomai en utilisant un driver RTDM. Depuis quelques semaines Paul Corner travaille sur le sujet, et il a finalement résolu le problème mercredi dernier. Comme nous le soupçonnions, il y avait un conflit entre le gestionnaire d’interruptions de Xenomai et celui de Linux (qui restait anormalement installé).
Les patches de Paul n’ont pas encore été intégrés dans Xenomai (mais je suppose qu’ils le seront dans les jours à venir). En attendant, voici comment obtenir de meilleurs résultats que précédemment.
