config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Feb 17 22:08:06 2008 +0000 (2008-02-17)
changeset 431 8bde4c6ea47a
parent 61 1207acb66003
child 446 d205527c5e01
permissions -rw-r--r--
Robert P. J. DAY says:

apparently, the patchset for gcc 4.2.1 applies properly to the
source for gcc 4.2.2 and gcc 4.2.3. so, if you want, you can simply
add support for those last two just by augmenting menuconfig and
adding a couple symlinks for those two directories. seems like a
cheap way to add a couple new versions.
     1 # Kernel options
     2 
     3 menu "Kernel"
     4 
     5 choice
     6     bool
     7     prompt "Target OS"
     8     default KERNEL_LINUX
     9 
    10 config KERNEL_LINUX
    11     bool
    12     prompt "linux"
    13     help
    14       Build a toolchain targeting systems running Linux as a kernel.
    15 
    16 endchoice
    17 
    18 config KERNEL_VERSION
    19     string
    20 
    21 if KERNEL_LINUX
    22 source config/kernel_linux.in
    23 endif
    24 
    25 endmenu