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

config KVX
	bool
	select 64BIT
	select BOOTM
	select BOOTM_ELF
	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_CACHE
	select HAS_DMA
	select LIBFDT
	select MFD_SYSCON
	select OF_BAREBOX_DRIVERS
	select OFDEVICE
	select PARTITION
	select RESET_SOURCE
	default y

config PHYS_ADDR_T_64BIT
	bool

config 64BIT
	bool
	select ARCH_DMA_ADDR_T_64BIT
	select PHYS_ADDR_T_64BIT
	default y

config ARCH_TEXT_BASE
	hex
	default 0x110000000

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