
choice
	prompt "Chip type"
	depends on SOC_T30
	default CHIP_T30

config CHIP_T30
       bool "chip-t30"
       select TRACEPOINTS
       select SYS_SUPPORTS_HIGHMEM
       select GENERIC_CLOCKEVENTS_BROADCAST

endchoice

if CHIP_T30
source "arch/mips/xburst/soc-t30/chip-t30/Kconfig"
endif
