Move all the Linux kernel config options to a single file (to ease supporting more than one kernel).
Rename some Linux kernel config options (ditto).
Update the addToolsVersion.sh script.

/trunk/scripts/build/kernel/linux.sh | 13 6 7 0 +--
/trunk/tools/addToolVersion.sh | 105 37 68 0 +++++++--------------
/trunk/config/kernel/linux.in | 211 189 22 0 ++++++++++++++++++++++++++++++++++++++----
3 files changed, 232 insertions(+), 97 deletions(-)

 # This file declares functions for bare metal kernel (IE. none)

 # Copyright 2008 Yann E. MORIN

 # Licensed under the GPL v2. See COPYING in the root of this package

 do_print_filename() {

     :

 }

 do_kernel_get() {

     :

 }

 do_kernel_extract() {

     :

 }

 do_kernel_headers() {

     :

 }