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?
Xenomai-core mailing list