From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Mon, 1 Dec 2014 15:39:57 +0100 From: Gilles Chanteperdrix Message-ID: <20141201143957.GH23220@hermes> References: <20141128111325.GD5069@hermes> <20141128182141.GB4817@hermes> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [Xenomai] Section mismatch - Porting Xenomai to linux-xlnx-V14.5 zynq SoC List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: John Sini Cc: xenomai@xenomai.org 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? -- Gilles.