1 menu "Microchip PIC32 platforms"
5 default "pic32mzda" if SOC_PIC32MZDA
8 prompt "PIC32 SoC select"
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
18 This supports Microchip PIC32MZ[DA] family of microcontrollers.
25 config TARGET_PIC32MZDASK
26 bool "Microchip PIC32MZ[DA] Starter Kit"
27 depends on SOC_PIC32MZDA
29 This supports Microchip PIC32MZ[DA] Starter Kit.
33 source "board/microchip/pic32mzda/Kconfig"