if ARCH_OCTEONTX

choice
	prompt "OcteonTX board select"
	optional

config TARGET_OCTEONTX_81XX
	bool "Marvell OcteonTX CN81XX"

config TARGET_OCTEONTX_83XX
	bool "Marvell OcteonTX CN83XX"

endchoice

config SYS_SOC
	string
	default "octeontx"

endif