menu "Microchip PIC32 platforms"
	depends on MACH_PIC32

config SYS_SOC
	default "pic32mzda" if SOC_PIC32MZDA

choice
	prompt "PIC32 SoC select"

config SOC_PIC32MZDA
	bool "Microchip PIC32MZ[DA] family"
	select SYS_CACHE_SHIFT_4
	select ROM_EXCEPTION_VECTORS
	select SUPPORTS_CPU_MIPS32_R1
	select SUPPORTS_CPU_MIPS32_R2
	select SUPPORT_LITTLE_ENDIAN
	select SYS_MIPS_CACHE_INIT_RAM_LOAD
	help
	  This supports Microchip PIC32MZ[DA] family of microcontrollers.

endchoice

choice
	prompt "Board select"

config TARGET_PIC32MZDASK
	bool "Microchip PIC32MZ[DA] Starter Kit"
	depends on SOC_PIC32MZDA
	help
	  This supports Microchip PIC32MZ[DA] Starter Kit.

endchoice

source "board/microchip/pic32mzda/Kconfig"

endmenu