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 ?
Xenomai-core mailing list