1.1 --- a/config/kernel.in Thu Apr 17 21:04:23 2008 +0000
1.2 +++ b/config/kernel.in Wed Sep 10 21:40:23 2008 +0000
1.3 @@ -2,6 +2,10 @@
1.4
1.5 menu "Kernel"
1.6
1.7 +config KERNEL
1.8 + string
1.9 + default "linux" if KERNEL_LINUX
1.10 +
1.11 choice
1.12 bool
1.13 prompt "Target OS"