changeset 1429 | 2ea00591717a |
parent 920 | 44dd635202a4 |
child 1499 | ff1f40a8f9c1 |
1.1 --- a/config/kernel.in Sun Oct 12 11:22:46 2008 +0000 1.2 +++ b/config/kernel.in Fri Jun 26 19:55:33 2009 +0200 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