Gilles,
another issue (likely related, and that may help to diagnose) that I can
see is that time is completely wrong;
For instance:
[root@buildroot ~]# time sleep 10
real 0m10.009s
user 0m0.002s
sys 0m0.013s
The system says that it spent 10 secs but I actually measured 25 secs.
Notice that I have CONFIG_HZ=1000
Time is correct when CONFIG_IPIPE is set to NO
Regards
Thierry
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
