Jorge Ramirez-Ortiz wrote:
having said that, the patch however doesnt seem to take into account the fpu activity of the regular kernel so there might be some other changes coming on top of this one.
Ah, I don't understand how linux/Xenomai contexts interact yet. Anyway hope my trial helps in some way.
Regards, kaz