On Mon, Dec 01, 2014 at 04:26:47PM +0100, John Sini wrote:
> On Mon, Dec 1, 2014 at 3:39 PM, Gilles Chanteperdrix <
> [email protected]> wrote:
>
> > On Mon, Dec 01, 2014 at 03:35:51PM +0100, John Sini wrote:
> > > Hi,
> > >
> > >
> > > Thank you for your reply. I have disabled lockdep by disabling following
> > > two options in Kernel configuration :Lock debugging:prove locking
> > > correctness and Lock debugging: detect incorrect freeing of live locks.
> > > The problem that i am facing now is:
> >
> > Does the exact same .config file work on an unpatched kernel?
> >
> > Just checked and I got the same error.
So, before trying and compiling Xenomai with a configuration file,
please try and get a working configuration for your kernel, without
Xenomai patch applied.
Also, since the Zynq patch is provided by a third party, and not
part of the patches supported by the mainline I-pipe patch, I do not
even compile test this patch, so have no working configuration to
propose.
Maybe the people having proposed the patch could also propose a
working kernel configuration?
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
