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 HAVE_PATA_PLATFORM 18 select SYS_SUPPORTS_LITTLE_ENDIAN 19 select SYS_HAS_EARLY_PRINTK 20 help 21 Select this option if you have one of the following Alchemy 22 development boards: DB1000 DB1500 DB1100 DB1550 DB1200 DB1300 23 PB1500 PB1100 PB1550 PB1200 24 Board type is autodetected during boot. 25 26config MIPS_XXS1500 27 bool "MyCable XXS1500 board" 28 select SYS_SUPPORTS_LITTLE_ENDIAN 29 select SYS_HAS_EARLY_PRINTK 30 31config MIPS_GPR 32 bool "Trapeze ITS GPR board" 33 select HAVE_PCI 34 select SYS_SUPPORTS_LITTLE_ENDIAN 35 select SYS_HAS_EARLY_PRINTK 36 37endchoice 38