1.1 --- a/config/kernel.in	Sun Oct 12 11:22:46 2008 +0000
     1.2 +++ b/config/kernel.in	Wed May 13 20:55:15 2009 +0000
     1.3 @@ -3,7 +3,7 @@
     1.4  menu "Operating System"
     1.5  
     1.6  # Config option used throughout the config and code to determine wether
     1.7 -# we have a kernel or not (there might be different bare metal stuff...
     1.8 +# we have a kernel or not (there might be different bare metal stuff)...
     1.9  config BARE_METAL
    1.10      bool
    1.11      default n