Gilles Chanteperdrix wrote:
> Richard Cochran wrote:
>> On Sat, Apr 09, 2011 at 08:41:22PM +0200, Richard Cochran wrote:
>>> I tried disabling various CONFIG options, and I found by accident that
>>> enabling IPIPE_DEBUG allows the system to run just fine.
>> Update: It is not enough for me to enable IPIPE_DEBUG. The kernels
>> that boot have all of the XENO_OPT_DEBUG options enabled.
>>
>> Disabling XENO_OPT_DEBUG results in a kernel that freezes. I will try
>> to find out which of these options makes a difference.
>
> Just to have an idea where the issue come from, could you try reverting
> all the changes which were made on the tsc and timer? i.e. revert to the
> original ipipe_mach_get_tsc and ipipe_mach_set_dec?
>
The exact commit to revert is this one:
http://git.xenomai.org/?p=ipipe-gch.git;a=commitdiff;h=cbd591ed5797f105ff45e04cca3bc939388624ea;hp=a2761e92ecd573bc3a3b068d4ebb7cc06313213c
Also please try disabling the FCSE code. This one changed too...
--
Gilles.
_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core
