1.1 --- a/config/kernel.in	Sun Sep 28 21:31:13 2008 +0000
     1.2 +++ b/config/kernel.in	Mon Oct 06 20:13:05 2008 +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 hace 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