config/kernel/linux.in
2008-09-15 Move all the Linux kernel config options to a single file (to ease supporting more than one kernel).
2008-09-15 Code-reorder in the Linux kernel config options.
2008-09-10 Remove the now really obsolete Linux kernel headers copy and sanitised.
2008-04-17 Moving around the files in config/ broke the tools/addToolVersion.sh script.