#
# platforms/Kconfig: main menu structure for platform configuration
#

mainmenu "PTXdist $(PTXDIST_VERSION_FULL)"

if 0
source "generated/ptxdist_options.in"
endif

source "generated/platform_version.in"

menu "architecture                  "
source "generated/architecture_options.in"
endmenu
source "generated/base_kernel.in"
source "platforms/console.in"

menu "extra kernel                  "
source "generated/kernel.in"
endmenu

menu "bootloaders                   "
source "generated/bootloader.in"
endmenu

menu "bootloader spec entries       "
source "generated/blspec.in"
endmenu

menu "image creation options        "
source "generated/image.in"
source "generated/image2.in"
endmenu

source "generated/code_signing.in"

source "generated/hosttools_noprompt.in"
source "generated/hosttools_platform.in"

source "generated/platform_project_specific.in"

menu "non-free firmware blobs       "
source "generated/non_free_firmware.in"
endmenu
