# Kernel options

config KERNEL
    string
    default "none"  if BARE_METAL
    default "linux" if KERNEL_LINUX

menu "Target OS"

choice
    bool
    prompt "Target OS"
    default KERNEL_LINUX

config KERNEL_LINUX
    bool
    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
    string

if KERNEL_LINUX
source config/kernel/linux.in
endif

endmenu