1# SPDX-License-Identifier: GPL-2.0
2choice
3	prompt "Machine type"
4	depends on MACH_INGENIC
5	default JZ4740_QI_LB60
6
7config JZ4740_QI_LB60
8	bool "Qi Hardware Ben NanoNote"
9	select MACH_JZ4740
10
11config JZ4770_GCW0
12	bool "Game Consoles Worldwide GCW Zero"
13	select MACH_JZ4770
14
15config JZ4780_CI20
16	bool "MIPS Creator CI20"
17	select MACH_JZ4780
18
19endchoice
20
21config MACH_JZ4740
22	bool
23	select SYS_HAS_CPU_MIPS32_R1
24
25config MACH_JZ4770
26	bool
27	select MIPS_CPU_SCACHE
28	select SYS_HAS_CPU_MIPS32_R2
29	select SYS_SUPPORTS_HIGHMEM
30
31config MACH_JZ4780
32	bool
33	select MIPS_CPU_SCACHE
34	select SYS_HAS_CPU_MIPS32_R2
35	select SYS_SUPPORTS_HIGHMEM
36