Re: [Xenomai-core] [rfc] Building Linux kernel in Xenomai tree.

[Gilles Chanteperdrix <gilles.chanteperdrix@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=<linux-tree> ?

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.