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:
Also please try disabling the FCSE code. This one changed too...
Xenomai-core mailing list