On Mon, Dec 1, 2014 at 4:29 PM, Gilles Chanteperdrix < [email protected]> wrote:
> 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. > > Ok, I will do it. > 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? That would be nice. Can you maybe explain me the errors that *I got i.e. can they be due to xenomai(kernel panic)* * Thanks!* _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
