1if ARCH_OCTEONTX
2
3choice
4	prompt "OcteonTX board select"
5	optional
6
7config TARGET_OCTEONTX_81XX
8	bool "Marvell OcteonTX CN81XX"
9
10config TARGET_OCTEONTX_83XX
11	bool "Marvell OcteonTX CN83XX"
12
13endchoice
14
15config SYS_SOC
16	string
17	default "octeontx"
18
19config SYS_PCI_64BIT
20	bool
21	default y
22
23endif
24