TI中文支持网各位大神：
bbb板子上运行 linux+xenomai , GPIO irq驱动能安装成功，但是只要产生GPIO中断，就会打印出异常。怎么解决？
Shine：
请问用的是哪个版本的SDK?
yongqing wang：
回复 user4047359:
感谢分享
quan liang：
回复 user4047359:
感谢分享。使用你第二点的方法解决问题了。
不过，我用4.9.y版本的内核打了ipipe的patch后能顺利起来。只是在打patch过程中有两个地方失败了需要人工手动去修改。修改完之后能顺利启动。
但是，我后来还是使用的4.14的内核 + ipipe-core-4.14.71-arm-4.patch 的版本；似乎这个ipipe版本对335x gpio的驱动支持得更好些
