config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Oct 09 13:15:46 2008 +0000 (2008-10-09)
changeset 911 e0a3d5c1ecbd
parent 883 927b30e32709
child 920 44dd635202a4
permissions -rw-r--r--
Add latest Linux kernel versions 2.6.25.18 & 2.6.26.6.
Fix using Linux kernel versions 2.6.25.{15,16,17}.

/trunk/config/kernel/linux.in | 16 13 3 0 +++++++++++++---
1 file changed, 13 insertions(+), 3 deletions(-)
     1 # Kernel options
     2 
     3 menu "Operating System"
     4 
     5 # Config option used throughout the config and code to determine wether
     6 # we have a kernel or not (there might be different bare metal stuff...
     7 config BARE_METAL
     8     bool
     9     default n
    10 
    11 config KERNEL
    12     string
    13 
    14 config KERNEL_VERSION
    15     string
    16 
    17 choice
    18     bool
    19     prompt "Target OS"
    20 
    21 source config.gen/kernel.in
    22 
    23 endchoice
    24 
    25 endmenu