1menu "Microchip PIC32 platforms"
2	depends on MACH_PIC32
3
4config SYS_SOC
5	default "pic32mzda" if SOC_PIC32MZDA
6
7choice
8	prompt "PIC32 SoC select"
9
10config SOC_PIC32MZDA
11	bool "Microchip PIC32MZ[DA] family"
12	select SYS_CACHE_SHIFT_4
13	select ROM_EXCEPTION_VECTORS
14	select SUPPORTS_CPU_MIPS32_R1
15	select SUPPORTS_CPU_MIPS32_R2
16	select SUPPORTS_LITTLE_ENDIAN
17	select SYS_MIPS_CACHE_INIT_RAM_LOAD
18	help
19	  This supports Microchip PIC32MZ[DA] family of microcontrollers.
20
21endchoice
22
23choice
24	prompt "Board select"
25
26config TARGET_PIC32MZDASK
27	bool "Microchip PIC32MZ[DA] Starter Kit"
28	depends on SOC_PIC32MZDA
29	help
30	  This supports Microchip PIC32MZ[DA] Starter Kit.
31
32endchoice
33
34source "board/microchip/pic32mzda/Kconfig"
35
36endmenu
37