Move the threading model choice back to the C library menu:
- the threading models available are dependent on the C library used
- it is thus easier to first select the C libary, and then the threading model, rather going back to the toolchain menu.

/trunk/config/toolchain.in | 29 0 29 0 -----------------------------
/trunk/config/libc.in | 47 38 9 0 ++++++++++++++++++++++++++++++++++++++---------
2 files changed, 38 insertions(+), 38 deletions(-)

 # Kernel options

 menu "Kernel"

 choice

     bool

     prompt "Target OS"

     default KERNEL_LINUX

 config KERNEL_LINUX

     bool

     prompt "linux"

     help

       Build a toolchain targeting systems running Linux as a kernel.

 endchoice

 config KERNEL_VERSION

     string

 if KERNEL_LINUX

 source config/kernel/linux.in

 endif

 endmenu