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

[Philippe Gerum <rpm@xenomai.org>]

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.

-- 

Philippe.