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.
yann@1
     1
# Kernel options
yann@1
     2
yann@1
     3
menu "Kernel"
yann@1
     4
yann@1
     5
choice
yann@1
     6
    bool
yann@34
     7
    prompt "Target OS"
yann@1
     8
    default KERNEL_LINUX
yann@1
     9
yann@1
    10
config KERNEL_LINUX
yann@1
    11
    bool
yann@1
    12
    prompt "linux"
yann@1
    13
    help
yann@1
    14
      Build a toolchain targeting systems running Linux as a kernel.
yann@1
    15
yann@1
    16
endchoice
yann@1
    17
yann@1
    18
config KERNEL_VERSION
yann@1
    19
    string
yann@1
    20
yann@1
    21
if KERNEL_LINUX
yann@1
    22
source config/kernel_linux.in
yann@1
    23
endif
yann@1
    24
yann@1
    25
endmenu