changeset 895 | f673bc71d376 |
parent 861 | 5506fbbad59b |
child 908 | 6db1117b2893 |
1.1 --- a/config/kernel.in Tue Sep 16 17:39:40 2008 +0000 1.2 +++ b/config/kernel.in Thu Oct 02 12:55:09 2008 +0000 1.3 @@ -2,6 +2,12 @@ 1.4 1.5 menu "Operating System" 1.6 1.7 +# Config option used throughout the config and code to determine wether 1.8 +# we hace a kernel or not (there might be different bare metal stuff... 1.9 +config BARE_METAL 1.10 + bool 1.11 + default n 1.12 + 1.13 config KERNEL 1.14 string 1.15