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 SUPPORTS_LITTLE_ENDIAN
	select SUPPORTS_CPU_MIPS32_R1
	select SUPPORTS_CPU_MIPS32_R2
	select MIPS_L1_CACHE_SHIFT_4
	select SYS_MIPS_CACHE_INIT_RAM_LOAD
	help
	  This supports Microchip PIC32MZ[DA] family of microcontrollers.

endchoice

endmenu