Gilles believes he's on the track of our FPU issue when using kernel  
threads. Would using an RTDM timer to accomplish our need have the  
same issue? We would not use the FPU in the timer of course, because  
it is not allowed.

I just don't want to spend the time converting things if it won't  
help. Does the list think it would be a worthwhile effort?


Xenomai-core mailing list

Reply via email to