1# SPDX-License-Identifier: GPL-2.0
2config MACH_TX49XX
3	bool
4	select BOOT_ELF32
5	select MACH_TXX9
6	select CEVT_R4K
7	select CSRC_R4K
8	select IRQ_MIPS_CPU
9	select SYS_HAS_CPU_TX49XX
10	select SYS_SUPPORTS_64BIT_KERNEL
11
12config MACH_TXX9
13	bool
14	select DMA_NONCOHERENT
15	select SWAP_IO_SPACE
16	select SYS_HAS_EARLY_PRINTK
17	select SYS_SUPPORTS_32BIT_KERNEL
18	select SYS_SUPPORTS_LITTLE_ENDIAN
19	select SYS_SUPPORTS_BIG_ENDIAN
20	select COMMON_CLK
21
22config TOSHIBA_RBTX4927
23	bool "Toshiba RBTX49[23]7 board"
24	depends on MACH_TX49XX
25	select SOC_TX4927
26	# TX4937 is subset of TX4938
27	select SOC_TX4938
28	help
29	  This Toshiba board is based on the TX4927 processor. Say Y here to
30	  support this machine type
31
32config SOC_TX4927
33	bool
34	select CEVT_TXX9
35	imply HAS_TXX9_SERIAL
36	select HAVE_PCI
37	select IRQ_TXX9
38	select PCI_TX4927
39	select GPIO_TXX9
40
41config SOC_TX4938
42	bool
43	select CEVT_TXX9
44	imply HAS_TXX9_SERIAL
45	select HAVE_PCI
46	select IRQ_TXX9
47	select PCI_TX4927
48	select GPIO_TXX9
49
50config TOSHIBA_FPCIB0
51	bool "FPCIB0 Backplane Support"
52	depends on PCI && MACH_TXX9
53	select I8259
54
55config PICMG_PCI_BACKPLANE_DEFAULT
56	bool "Support for PICMG PCI Backplane"
57	depends on PCI && MACH_TXX9
58	default y if !TOSHIBA_FPCIB0
59
60config PCI_TX4927
61	bool
62