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