# SPDX-License-Identifier: GPL-2.0
#
# For a description of the syntax of this configuration file,
# see Documentation/kbuild/kconfig-language.txt.
#
mainmenu "Rupsched/$(ARCH) $(KERNELVERSION) Kernel Configuration"

comment "Compiler: $(CC_VERSION_TEXT)"

source "scripts/Kconfig.include"

source "arch/$(SRCARCH)/Kconfig"

source "kernel/Kconfig"

source "drivers/Kconfig"

menu "Applications"
source "apps/Kconfig"
comment "Tests"
source "tests/Kconfig"
endmenu

menu "Debugging"
source "kernel/Kconfig.debug"
endmenu

menu "Library Options"
source "lib/Kconfig"
endmenu

source "arch/$(SRCARCH)/Kconfig.opt"
