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 JZ4780_CI20 12 bool "MIPS Creator CI20" 13 select MACH_JZ4780 14 15endchoice 16 17config MACH_JZ4740 18 bool 19 select SYS_HAS_CPU_MIPS32_R1 20 21config MACH_JZ4780 22 bool 23 select MIPS_CPU_SCACHE 24 select SYS_HAS_CPU_MIPS32_R2 25 select SYS_SUPPORTS_HIGHMEM 26