config/kernel.in
changeset 448 08da017ba46b
parent 446 d205527c5e01
child 847 af75fc1fe0fc
     1.1 --- a/config/kernel.in	Thu Apr 17 20:26:25 2008 +0000
     1.2 +++ b/config/kernel.in	Thu Apr 17 21:04:23 2008 +0000
     1.3 @@ -19,7 +19,7 @@
     1.4      string
     1.5  
     1.6  if KERNEL_LINUX
     1.7 -source config/kernel/kernel_linux.in
     1.8 +source config/kernel/linux.in
     1.9  endif
    1.10  
    1.11  endmenu