# SPDX-License-Identifier: GPL-2.0-only

config KVX
	bool
	select 64BIT
	select BOOTM
	select HAVE_ARCH_BOOTM_OFTREE
	select BOOTM_OFTREE
	select BOOTM_INITRD
	select COMMON_CLK
	select COMMON_CLK_OF_PROVIDER
	select ELF
	select FLEXIBLE_BOOTARGS
	select FITIMAGE
	select GENERIC_FIND_NEXT_BIT
	select ARCH_HAS_SJLJ
	select HAS_DMA
	select LIBFDT
	select MFD_SYSCON
	select OF_BAREBOX_DRIVERS
	select OFDEVICE
	select PARTITION
	select RESET_SOURCE
	default y

config 64BIT
	bool
	select ARCH_DMA_ADDR_T_64BIT
	select PHYS_ADDR_T_64BIT
	default y

config ARCH_TEXT_BASE
	hex
	default 0x110000000

choice
	prompt "KVX CPU variant"

config ARCH_COOLIDGE_V1
	bool "Coolidge V1 (KV3-1)"

config ARCH_COOLIDGE_V2
	bool "Coolidge V2 (KV3-2)"

endchoice

menu "Board configuration"

config BUILTIN_DTB
	bool "link a DTB into the barebox image"
	depends on OFTREE

config BUILTIN_DTB_NAME
	string "DTB to build into the barebox image"
	depends on BUILTIN_DTB

choice
	prompt "Select your board"

config BOARD_K200
	bool "K200 Network card"

endchoice

endmenu
