
choice
	prompt "Chip type"
	depends on SOC_T31
	default CHIP_T31

config CHIP_T31
       bool "chip-t31"
       select TRACEPOINTS
       select SYS_SUPPORTS_HIGHMEM
       select GENERIC_CLOCKEVENTS_BROADCAST

endchoice

if CHIP_T31
source "arch/mips/xburst/soc-t31/chip-t31/Kconfig"
endif
