config MACH_TX39XX
	bool
	select MACH_TXX9
	select SYS_HAS_CPU_TX39XX

config MACH_TX49XX
	bool
	select MACH_TXX9
	select CEVT_R4K
	select CSRC_R4K
	select IRQ_CPU
	select SYS_HAS_CPU_TX49XX
	select SYS_SUPPORTS_64BIT_KERNEL

config MACH_TXX9
	bool
	select DMA_NONCOHERENT
	select SWAP_IO_SPACE
	select SYS_HAS_EARLY_PRINTK
	select SYS_SUPPORTS_32BIT_KERNEL
	select SYS_SUPPORTS_LITTLE_ENDIAN
	select SYS_SUPPORTS_BIG_ENDIAN
	select GENERIC_HARDIRQS_NO__DO_IRQ

config TOSHIBA_JMR3927
	bool "Toshiba JMR-TX3927 board"
	depends on MACH_TX39XX
	select SOC_TX3927

config TOSHIBA_RBTX4927
	bool "Toshiba RBTX49[23]7 board"
	depends on MACH_TX49XX
	select SOC_TX4927
	# TX4937 is subset of TX4938
	select SOC_TX4938
	help
	  This Toshiba board is based on the TX4927 processor. Say Y here to
	  support this machine type

config TOSHIBA_RBTX4938
	bool "Toshiba RBTX4938 board"
	depends on MACH_TX49XX
	select SOC_TX4938
	help
	  This Toshiba board is based on the TX4938 processor. Say Y here to
	  support this machine type

config SOC_TX3927
	bool
	select CEVT_TXX9
	select HAS_TXX9_SERIAL
	select HW_HAS_PCI
	select IRQ_TXX9
	select GPIO_TXX9

config SOC_TX4927
	bool
	select CEVT_TXX9
	select HAS_TXX9_SERIAL
	select HW_HAS_PCI
	select IRQ_TXX9
	select PCI_TX4927
	select GPIO_TXX9

config SOC_TX4938
	bool
	select CEVT_TXX9
	select HAS_TXX9_SERIAL
	select HW_HAS_PCI
	select IRQ_TXX9
	select PCI_TX4927
	select GPIO_TXX9

config TOSHIBA_FPCIB0
	bool "FPCIB0 Backplane Support"
	depends on PCI && MACH_TXX9
	select I8259

config PICMG_PCI_BACKPLANE_DEFAULT
	bool "Support for PICMG PCI Backplane"
	depends on PCI && MACH_TXX9
	default y if !TOSHIBA_FPCIB0

if TOSHIBA_RBTX4938

comment "Multiplex Pin Select"
choice
	prompt "PIO[58:61]"
	default TOSHIBA_RBTX4938_MPLEX_PIO58_61

config TOSHIBA_RBTX4938_MPLEX_PIO58_61
	bool "PIO"
config TOSHIBA_RBTX4938_MPLEX_NAND
	bool "NAND"
config TOSHIBA_RBTX4938_MPLEX_ATA
	bool "ATA"

endchoice

config TX4938_NAND_BOOT
	depends on EXPERIMENTAL && TOSHIBA_RBTX4938_MPLEX_NAND
	bool "NAND Boot Support (EXPERIMENTAL)"
	help
	  This is only for Toshiba RBTX4938 reference board, which has NAND IPL.
	  Select this option if you need to use NAND boot.

endif

config PCI_TX4927
	bool