Gilles Chanteperdrix wrote:
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 ?

If $enableval is "y", then no path has been specified, so you can default to the running kernel in such a case.



Reply via email to