Honor the DESTDIR variable to install out-of-place (Eg. for packaging).

/trunk/configure | 10 10 0 0 +++++++++
/trunk/Makefile.in | 62 36 26 0 +++++++++++++++++++++++++++++++-----------------------
/trunk/docs/overview.txt | 12 12 0 0 ++++++++++
3 files changed, 58 insertions(+), 26 deletions(-)

 # Kernel options

 menu "Operating System"

 # Config option used throughout the config and code to determine wether

 # we have a kernel or not (there might be different bare metal stuff...

 config BARE_METAL

     bool

     default n

 config KERNEL

     string

 config KERNEL_VERSION

     string

 source config.gen/kernel.in

 endmenu