diff options
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 |