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 MIPS_L1_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