config/kernel_linux.in
changeset 49 f431118daec4
parent 37 21bcbfde8094
child 61 1207acb66003
     1.1 --- a/config/kernel_linux.in	Wed Apr 11 21:26:03 2007 +0000
     1.2 +++ b/config/kernel_linux.in	Mon Apr 23 21:06:09 2007 +0000
     1.3 @@ -117,8 +117,9 @@
     1.4      prompt "Configuration file"
     1.5      default ""
     1.6      help
     1.7 -      Path to the kernel configuration file.
     1.8 +      Path to a kernel configuration file.
     1.9        
    1.10 -      You _must_ provide one (for now).
    1.11 +      If you don't provide one, then the default configuration for
    1.12 +      your target will be used.
    1.13  
    1.14  endif