
choice
	prompt "Chip type"
	depends on SOC_T20
	default CHIP_T20

config CHIP_T20
       bool "chip-t20"
       select TRACEPOINTS
       select SYS_SUPPORTS_HIGHMEM
       select GENERIC_CLOCKEVENTS_BROADCAST

endchoice

if CHIP_T20
source "arch/mips/xburst/soc-t20/chip-t20/Kconfig"
endif
