1# SPDX-License-Identifier: GPL-2.0 2choice 3 prompt "Machine type" 4 depends on MIPS_ALCHEMY 5 default MIPS_DB1XXX 6 7config MIPS_MTX1 8 bool "4G Systems MTX-1 board" 9 select HAVE_PCI 10 select SYS_SUPPORTS_LITTLE_ENDIAN 11 select SYS_HAS_EARLY_PRINTK 12 13config MIPS_DB1XXX 14 bool "Alchemy DB1XXX / PB1XXX boards" 15 select GPIOLIB 16 select HAVE_PCI 17 select SYS_SUPPORTS_LITTLE_ENDIAN 18 select SYS_HAS_EARLY_PRINTK 19 help 20 Select this option if you have one of the following Alchemy 21 development boards: DB1000 DB1500 DB1100 DB1550 DB1200 DB1300 22 PB1500 PB1100 PB1550 PB1200 23 Board type is autodetected during boot. 24 25config MIPS_XXS1500 26 bool "MyCable XXS1500 board" 27 select SYS_SUPPORTS_LITTLE_ENDIAN 28 select SYS_HAS_EARLY_PRINTK 29 30config MIPS_GPR 31 bool "Trapeze ITS GPR board" 32 select HAVE_PCI 33 select SYS_SUPPORTS_LITTLE_ENDIAN 34 select SYS_HAS_EARLY_PRINTK 35 36endchoice 37