# SPDX-License-Identifier: GPL-2.0
config MACH_TX49XX
 bool
 select BOOT_ELF32
 select MACH_TXX9
 select CEVT_R4K
 select CSRC_R4K
 select IRQ_MIPS_CPU
 select SYS_HAS_CPU_TX49XX
 select SYS_SUPPORTS_64BIT_KERNEL

config MACH_TXX9
 bool
 select DMA_NONCOHERENT
 select SWAP_IO_SPACE
 select SYS_HAS_EARLY_PRINTK
 select SYS_SUPPORTS_32BIT_KERNEL
 select SYS_SUPPORTS_LITTLE_ENDIAN
 select SYS_SUPPORTS_BIG_ENDIAN
 select COMMON_CLK

config TOSHIBA_RBTX4927
 bool "Toshiba RBTX49[23]7 board"
 depends on MACH_TX49XX
 select SOC_TX4927
 # TX4937 is subset of TX4938
 select SOC_TX4938
 help
   This Toshiba board is based on the TX4927 processor. Say Y here to
   support this machine type

config SOC_TX4927
 bool
 select CEVT_TXX9
 imply HAS_TXX9_SERIAL
 select HAVE_PCI
 select IRQ_TXX9
 select PCI_TX4927
 select GPIO_TXX9

config SOC_TX4938
 bool
 select CEVT_TXX9
 imply HAS_TXX9_SERIAL
 select HAVE_PCI
 select IRQ_TXX9
 select PCI_TX4927
 select GPIO_TXX9

config TOSHIBA_FPCIB0
 bool "FPCIB0 Backplane Support"
 depends on PCI && MACH_TXX9
 select I8259

config PICMG_PCI_BACKPLANE_DEFAULT
 bool "Support for PICMG PCI Backplane"
 depends on PCI && MACH_TXX9
 default y if !TOSHIBA_FPCIB0

config PCI_TX4927
 bool