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