Mark Saiia wrote:
> I've noticed the same erroneous behavior when CONFIG_XENO_HW_FPU is enabled
> and when it is disabled. I don't know if this information is relevant or
> not. Is this expected behavior?
No, it should not happen when disabled, you should see messages saying
"Invalid use of FPU in Xenomai context at xxxxxx" on the kernel console.
That is probably another bug. Is it possible for you to run your example
without Xenomai at all ? Just to be sure that we do not hit a Linux bug.
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
