1.1 --- a/config/kernel/linux.in	Mon Sep 15 14:52:29 2008 +0000
     1.2 +++ b/config/kernel/linux.in	Tue Sep 16 17:39:40 2008 +0000
     1.3 @@ -1,5 +1,9 @@
     1.4  # Linux kernel options
     1.5  
     1.6 +config KERNEL_linux
     1.7 +    help
     1.8 +      Build a toolchain targeting systems running Linux as a kernel.
     1.9 +
    1.10  choice
    1.11      bool
    1.12      prompt "Get kernel headers from:"