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