# SPDX-License-Identifier: GPL-2.0 choice prompt "Machine type" depends on [31mCONFIG_MACH_INGENIC[0m default [31mCONFIG_JZ4740_QI_LB60[0m config [31mCONFIG_JZ4740_QI_LB60[0m bool "Qi Hardware Ben NanoNote" select [31mCONFIG_MACH_JZ4740[0m config [31mCONFIG_JZ4770_GCW0[0m bool "Game Consoles Worldwide GCW Zero" select [31mCONFIG_MACH_JZ4770[0m config [31mCONFIG_JZ4780_CI20[0m bool "MIPS Creator CI20" select [31mCONFIG_MACH_JZ4780[0m endchoice config [31mCONFIG_MACH_JZ4740[0m bool select [31mCONFIG_SYS_HAS_CPU_MIPS32_R1[0m config [31mCONFIG_MACH_JZ4770[0m bool select [31mCONFIG_MIPS_CPU_SCACHE[0m select [31mCONFIG_SYS_HAS_CPU_MIPS32_R2[0m select [31mCONFIG_SYS_SUPPORTS_HIGHMEM[0m config [31mCONFIG_MACH_JZ4780[0m bool select [31mCONFIG_MIPS_CPU_SCACHE[0m select [31mCONFIG_SYS_HAS_CPU_MIPS32_R2[0m select [31mCONFIG_SYS_SUPPORTS_HIGHMEM[0m |