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