diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-09-15 09:43:35 +0000 |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-09-15 09:43:35 +0000 |
commit | ed92de0b90ccd4ea0c6b2d1e7d767aa4e11cf439 (patch) | |
tree | e965fd86057746f9dacfe5ee48f24d9692b2320e /config/kernel.in | |
parent | 894a3cd5ba4f0bec95f6663decc9c1a07a6fa7bf (diff) | |
download | crosstool-ng-ed92de0b90ccd4ea0c6b2d1e7d767aa4e11cf439.tar.gz crosstool-ng-ed92de0b90ccd4ea0c6b2d1e7d767aa4e11cf439.tar.bz2 crosstool-ng-ed92de0b90ccd4ea0c6b2d1e7d767aa4e11cf439.zip |
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(-)
Diffstat (limited to 'config/kernel.in')
-rw-r--r-- | config/kernel.in | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/config/kernel.in b/config/kernel.in index f46a937f..db7b802e 100644 --- a/config/kernel.in +++ b/config/kernel.in @@ -1,15 +1,11 @@ # Kernel options - - config KERNEL string default "none" if BARE_METAL default "linux" if KERNEL_LINUX -if ! BARE_METAL - -menu "Kernel" +menu "Target OS" choice bool @@ -18,10 +14,22 @@ choice config KERNEL_LINUX bool - prompt "linux" + prompt "Linux" help Build a toolchain targeting systems running Linux as a kernel. +config BARE_METAL + bool + prompt "Bare metal (EXPERIMENTAL)" + depends on EXPERIMENTAL + help + Say 'y' here if you want a simple C compiler with no C library. + + 'Bare metal' also refer to those programs that run without any kernel. + + You probably want to say 'y' here if you plan to use your compiler + to build only kernels or bootloaders + endchoice config KERNEL_VERSION @@ -32,5 +40,3 @@ source config/kernel/linux.in endif endmenu - -endif # ! BARE_METAL |