On Mon, Dec 1, 2014 at 9:29 AM, 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. > > 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?
Here's the defconfig I generally used for Xenomai / Zynq: https://github.com/mfornero/linux/blob/zynq-ipipe-3.8/arch/arm/configs/xenomai_zynq_defconfig And for reference, here's the git tree the patch was generated from (note that this tree contains an old ipipe version) https://github.com/mfornero/linux/tree/zynq-ipipe-3.8 Hoping to get some time to update the Zynq port to the latest Xilinx / ipipe stuff (ideally something closer to mainline) in the near future. -Matt _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
