For anyone that is looking at using the arm 4.14 ipipe and xenomai
3.0.x stable with raspberry pi 2b, there's an issue with the gpio
driver that I'm currently looking into the issue.  I don't think
anyone is using this kernel but in case anyone is, I thought I would
send out an FYI.


Xenomai mailing list

Reply via email to