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 select GPIOLIB_LEGACY 41 42config SOC_TX4938 43 bool 44 select CEVT_TXX9 45 imply HAS_TXX9_SERIAL 46 select HAVE_PCI 47 select IRQ_TXX9 48 select PCI_TX4927 49 select GPIO_TXX9 50 51config TOSHIBA_FPCIB0 52 bool "FPCIB0 Backplane Support" 53 depends on PCI && MACH_TXX9 54 select I8259 55 56config PICMG_PCI_BACKPLANE_DEFAULT 57 bool "Support for PICMG PCI Backplane" 58 depends on PCI && MACH_TXX9 59 default y if !TOSHIBA_FPCIB0 60 61config PCI_TX4927 62 bool 63