config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Sep 15 09:43:35 2008 +0000 (2008-09-15)
changeset 854 f347a40db591
parent 850 ef8549b58b6f
child 861 5506fbbad59b
permissions -rw-r--r--
Make bare-metal a kernel selection.

/trunk/config/kernel.in | 22 14 8 0 ++++++++++++++--------
/trunk/config/target.in | 13 0 13 0 -------------
2 files changed, 14 insertions(+), 21 deletions(-)
     1 # Kernel options
     2 
     3 config KERNEL
     4     string
     5     default "none"  if BARE_METAL
     6     default "linux" if KERNEL_LINUX
     7 
     8 menu "Target OS"
     9 
    10 choice
    11     bool
    12     prompt "Target OS"
    13     default KERNEL_LINUX
    14 
    15 config KERNEL_LINUX
    16     bool
    17     prompt "Linux"
    18     help
    19       Build a toolchain targeting systems running Linux as a kernel.
    20 
    21 config BARE_METAL
    22     bool
    23     prompt "Bare metal (EXPERIMENTAL)"
    24     depends on EXPERIMENTAL
    25     help
    26       Say 'y' here if you want a simple C compiler with no C library.
    27       
    28       'Bare metal' also refer to those programs that run without any kernel.
    29       
    30       You probably want to say 'y' here if you plan to use your compiler
    31       to build only kernels or bootloaders
    32 
    33 endchoice
    34 
    35 config KERNEL_VERSION
    36     string
    37 
    38 if KERNEL_LINUX
    39 source config/kernel/linux.in
    40 endif
    41 
    42 endmenu