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