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