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(-)
1 # Overall toolchain configuration: paths, jobs, etc...
3 menu "Paths and misc options"
5 source "config/global/ct-behave.in"
6 source "config/global/paths.in"
7 source "config/global/download.in"
8 source "config/global/extract.in"
9 source "config/global/build-behave.in"
10 source "config/global/logging.in"