config/kernel.in
author Cody P Schafer <dev@codyps.com>
Mon May 12 00:02:13 2014 +0200 (2014-05-12)
changeset 3322 eb13867a034c
parent 2484 d1a8c2ae7946
permissions -rw-r--r--
arch/powerpc: add powerpc64le support

Technically, I don't forbid powerpcle support either, but I'm not sure that
there is any library/compiler support for that at the moment (though the hw
technically makes it possible).

powerpc64le needs glibc 2.19 and gcc 4.9. I haven't looked into the support
tools, but at least gdb 7.5 is too old (7.7.1 definitely has support).

Also make powerpc64 non-experimental. It's practically old at this point.

Signed-off-by: Cody P Schafer <dev@codyps.com>
[yann.morin.1998@free.fr: use ${target_endian_le} and ${target_bits_64}]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <64bfbbced9dd8f62e0d6.1399801945@gun>
Patchwork-Id: 347775
     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 
    10 config WINDOWS
    11     bool
    12 
    13 # Each target OS (aka kernel) that support shared libraries can select
    14 # this, so the user can decide whether or not to build a shared library
    15 # enabled toolchain
    16 config KERNEL_SUPPORTS_SHARED_LIBS
    17     bool
    18 
    19 config KERNEL
    20     string
    21 
    22 config KERNEL_VERSION
    23     string
    24 
    25 source "config.gen/kernel.in"
    26 
    27 comment "Common kernel options"
    28 
    29 config SHARED_LIBS
    30     bool
    31     prompt "Build shared libraries"
    32     depends on KERNEL_SUPPORTS_SHARED_LIBS
    33     default y
    34     help
    35       Say 'y' here, unless you don't want shared libraries.
    36       
    37       You might not want shared libraries if you're building for a target that
    38       don't support it (maybe some nommu targets, for example, or bare metal).
    39 
    40 source "config.gen/kernel.in.2"
    41 
    42 endmenu