config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Mar 29 00:15:32 2010 +0200 (2010-03-29)
changeset 1864 758d5137fe87
parent 1499 ff1f40a8f9c1
child 1870 a4c4e51aa541
permissions -rw-r--r--
scripts/populate: optimise search loop

Curently, populate will iterate over all ELF (shared objects|executables)
to look for missing NEEDED DSOs, adding to the list at every iterations
of the search loop.

Instead of looking again at previously handled ELF files, recursively
resolve every ELf files.

Also, in case there are a whole lot of files (more than the shell can
accept as arguments list, or creating a command line longer than the
shell can cope with), use a temporary file with the list of files
to search for missing dependencies.
     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 # Each target OS (aka kernel) that support shared libraries can select
    12 # this, so the user can decide whether or not to build a shared library
    13 # enabled toolchain
    14 config KERNEL_SUPPORTS_SHARED_LIBS
    15     bool
    16     default n
    17 
    18 config KERNEL
    19     string
    20 
    21 config KERNEL_VERSION
    22     string
    23 
    24 source config.gen/kernel.in
    25 
    26 comment "Common kernel options"
    27 
    28 config SHARED_LIBS
    29     bool
    30     prompt "Build shared libraries"
    31     depends on KERNEL_SUPPORTS_SHARED_LIBS
    32     default y
    33     help
    34       Say 'y' here, unless you don't want shared libraries.
    35       
    36       You might not want shared libraries if you're building for a target that
    37       don't support it (maybe some nommu targets, for example, or bare metal).
    38 
    39 endmenu