1 # SPDX-License-Identifier: GPL-2.0
9 select SYS_HAS_CPU_TX49XX
10 select SYS_SUPPORTS_64BIT_KERNEL
14 select DMA_NONCOHERENT
16 select SYS_HAS_EARLY_PRINTK
17 select SYS_SUPPORTS_32BIT_KERNEL
18 select SYS_SUPPORTS_LITTLE_ENDIAN
19 select SYS_SUPPORTS_BIG_ENDIAN
22 config TOSHIBA_RBTX4927
23 bool "Toshiba RBTX49[23]7 board"
24 depends on MACH_TX49XX
26 # TX4937 is subset of TX4938
29 This Toshiba board is based on the TX4927 processor. Say Y here to
30 support this machine type
51 bool "FPCIB0 Backplane Support"
52 depends on PCI && MACH_TXX9
55 config PICMG_PCI_BACKPLANE_DEFAULT
56 bool "Support for PICMG PCI Backplane"
57 depends on PCI && MACH_TXX9
58 default y if !TOSHIBA_FPCIB0