Hi, Which ipipe branch should I be using to test out 4.14 ipipe? I tried rebase/4.14-arm, which worked after a couple of very small fix ups. If this is the branch we should be testing against I'll submit the patches to fix the raspberry pi build.
-Greg _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
