config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Jul 30 20:02:13 2007 +0000 (2007-07-30)
changeset 305 00a7e6c275da
parent 61 1207acb66003
child 446 d205527c5e01
permissions -rw-r--r--
Remove any reference to libfloat. That has gone once and for all.

Rationale:
Most of the time, soft-float problems are caused by this sucker of gcc:
it has support for soft float for all of the targets I've tried so far,
but does not activate this code until you dwelve into half a dozen of
files to make it accept to build and link the support code...

So, yes: gcc has soft-float support. And again, yes: gcc is a sucker.
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