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.
-Greg _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
