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 22endmenu 23