On Sat, Apr 09, 2011 at 09:50:16PM +0200, Gilles Chanteperdrix wrote:
> Gilles Chanteperdrix wrote:
> > Richard Cochran wrote:
> >> 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.
Okay, I confused myself on this one:
I don't need XENO_OPT_DEBUG to boot, just IPIPE_DEBUG.
> > 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...
With IPIPE_DEBUG=n and FCSE=n it also boots.
But I really need FCSE guaranteed!
Xenomai-core mailing list