Hi Steven, On 11/22/2017 05:49 PM, Steven Seeger wrote: > Philippe, as we have previously discussed I am willing to take over the PPC i- > pipe maintenance on my personal time if it will help.
Thanks, that would be great. My only issue is right > now the only PPC board I have in my posseession is an 8548-based board. I > might be able to borrow some 405 and 440-based boards from work if needed. Of > course, we can always depend on the grateful Xenomai users for test and > feedback. :) > I have remote access to many ppc boards and could help here. This said 85xx, 40x and 44x already cover much of the ppc32 scope running Xenomai - maybe adding mpc52xx would be good, I have one here. I don't see much traction these days for Xenomai over ppc64, so I'm not even sure whether this port is still relevant. > I am not sure my group is going to pursue RTNET otherwise I would have been > happy to help there. I think negotations are still open on that one, though. > > If we ever get around to releasing my microblaze i-pipe patch then I am happy > to maintain that as well. :) Feel free to email me privately if you want to > discuss. Ok. > > I really miss Gilles and maybe I can help carry on his memory in some small > way. Hopefully he is in heaven where there are no geode CPUs to chase FPU > bugs > on :) -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai