From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4F20408E.4080001@domain.hid> Date: Wed, 25 Jan 2012 18:49:02 +0100 From: Gilles Chanteperdrix MIME-Version: 1.0 References: <4F2026B6.8080008@domain.hid> In-Reply-To: <4F2026B6.8080008@domain.hid> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai-help] Xenomai and Pandaboard List-Id: Help regarding installation and common use of Xenomai List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Christopher Roberts Cc: xenomai@xenomai.org On 01/25/2012 04:58 PM, Gilles Chanteperdrix wrote: > On 01/25/2012 04:42 PM, Christopher Roberts wrote: >> I've been trying to build a working kernel with Xenomai librarys for the >> last couple of days, and keep running into snags. Its the first time I've >> ever tried to build a kernel before, though I do have some experience with >> Linux and embedded systems. >> >> So far, I've tried using a cross toolchchain built using Buildroot 2011.8, >> which I used to make x-loader and u-loader, both of which appear to work, >> then the 2.6.38.8 kernel with xenomai 2.6.0, which seems to compile >> correctly, but on boot up the board halts after unpacking the kernel (both >> front lights stay on and it never tries to actually start up the hardware). >> So next I tried building it on a working Ubunutu 11.10 image running on the >> pandaboard, but I was never able to successfully build the kernel that way. >> >> Any advice I could get on what I'm doing wrong would be >> greatly appreciated. > > I routinely run xenomai on pandaboard with the following kernel > configuration: > > http://sisyphus.hd.free.fr/~gilles/config-panda > > If it does not work for you, please try disabling CONFIG_XENOMAI and > CONFIG_IPIPE to see if the result boots. > In order to get clues about why your kernel does not boot, you can try enabling the "early printk" option, then boot the kernel passing "earlyprintk" on its command line. -- Gilles.