0001 # SPDX-License-Identifier: GPL-2.0
0002 config MACH_TX49XX
0003 bool
0004 select BOOT_ELF32
0005 select MACH_TXX9
0006 select CEVT_R4K
0007 select CSRC_R4K
0008 select IRQ_MIPS_CPU
0009 select SYS_HAS_CPU_TX49XX
0010 select SYS_SUPPORTS_64BIT_KERNEL
0011
0012 config MACH_TXX9
0013 bool
0014 select DMA_NONCOHERENT
0015 select SWAP_IO_SPACE
0016 select SYS_HAS_EARLY_PRINTK
0017 select SYS_SUPPORTS_32BIT_KERNEL
0018 select SYS_SUPPORTS_LITTLE_ENDIAN
0019 select SYS_SUPPORTS_BIG_ENDIAN
0020 select COMMON_CLK
0021
0022 config TOSHIBA_RBTX4927
0023 bool "Toshiba RBTX49[23]7 board"
0024 depends on MACH_TX49XX
0025 select SOC_TX4927
0026 # TX4937 is subset of TX4938
0027 select SOC_TX4938
0028 help
0029 This Toshiba board is based on the TX4927 processor. Say Y here to
0030 support this machine type
0031
0032 config SOC_TX4927
0033 bool
0034 select CEVT_TXX9
0035 imply HAS_TXX9_SERIAL
0036 select HAVE_PCI
0037 select IRQ_TXX9
0038 select PCI_TX4927
0039 select GPIO_TXX9
0040
0041 config SOC_TX4938
0042 bool
0043 select CEVT_TXX9
0044 imply HAS_TXX9_SERIAL
0045 select HAVE_PCI
0046 select IRQ_TXX9
0047 select PCI_TX4927
0048 select GPIO_TXX9
0049
0050 config TOSHIBA_FPCIB0
0051 bool "FPCIB0 Backplane Support"
0052 depends on PCI && MACH_TXX9
0053 select I8259
0054
0055 config PICMG_PCI_BACKPLANE_DEFAULT
0056 bool "Support for PICMG PCI Backplane"
0057 depends on PCI && MACH_TXX9
0058 default y if !TOSHIBA_FPCIB0
0059
0060 config PCI_TX4927
0061 bool
