
choice
	prompt "Chip type"
	depends on SOC_T15
	default CHIP_T15

config CHIP_T15
       bool "chip-t15"
       select TRACEPOINTS
       select SYS_SUPPORTS_HIGHMEM
       select GENERIC_CLOCKEVENTS_BROADCAST

endchoice

if CHIP_T15
source "arch/mips/xburst/soc-t15/chip-t15/Kconfig"
endif
