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 SUPPORTS_LITTLE_ENDIAN 13 select SUPPORTS_CPU_MIPS32_R1 14 select SUPPORTS_CPU_MIPS32_R2 15 select MIPS_L1_CACHE_SHIFT_4 16 select SYS_MIPS_CACHE_INIT_RAM_LOAD 17 help 18 This supports Microchip PIC32MZ[DA] family of microcontrollers. 19 20endchoice 21 22choice 23 prompt "Board select" 24 25config TARGET_PIC32MZDASK 26 bool "Microchip PIC32MZ[DA] Starter Kit" 27 depends on SOC_PIC32MZDA 28 help 29 This supports Microchip PIC32MZ[DA] Starter Kit. 30 31endchoice 32 33source "board/microchip/pic32mzda/Kconfig" 34 35endmenu 36