From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17345.3786.644399.982109@domain.hid> Date: Sun, 8 Jan 2006 14:08:26 +0100 Subject: Re: [Xenomai-core] [rfc] Building Linux kernel in Xenomai tree. In-Reply-To: <43C100A2.6040605@domain.hid> References: <17343.42595.626357.181448@domain.hid> <43C100A2.6040605@domain.hid> From: Gilles Chanteperdrix List-Id: "Xenomai life and development \(bug reports, patches, discussions\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Philippe Gerum Cc: xenomai@xenomai.org Philippe Gerum wrote: > Gilles Chanteperdrix wrote: > > Hi, > > > > attached is a patch of Xenomai trunk build system to allow building > > Linux kernel as part of Xenomai build process. This way, typing make > > install builds and installs the Linux kernel, kernel modules and > > Xenomai. > > > > The patch is a bit young and still has a few drawbacks, but before > > spending to much time on it, I would like to know if anyone is opposed > > to the idea of building Linux in Xenomai build tree. > > > > To try this patch, apply and run the bootstrap script. > > 3 options are then added to configure : > > --enable-linux-build Build Linux in Xenomai build tree > > --with-linux-srcdir specify the path to Linux sources. Default is to > > use, if not cross-compiling, the source of the > > running kernel or /usr/src/linux. > > --enable-linux-build= ? The current approach is to use the sources of the running kernel if the only option specified is --enable-linux-build. Do you mean you find this feature superfluous ? -- Gilles Chanteperdrix.