| menu "Microchip PIC32 platforms" |
| default "pic32mzda" if SOC_PIC32MZDA |
| prompt "PIC32 SoC select" |
| bool "Microchip PIC32MZ[DA] family" |
| select SUPPORTS_LITTLE_ENDIAN |
| select SUPPORTS_CPU_MIPS32_R1 |
| select SUPPORTS_CPU_MIPS32_R2 |
| select MIPS_L1_CACHE_SHIFT_4 |
| select SYS_MIPS_CACHE_INIT_RAM_LOAD |
| select ROM_EXCEPTION_VECTORS |
| This supports Microchip PIC32MZ[DA] family of microcontrollers. |
| config TARGET_PIC32MZDASK |
| bool "Microchip PIC32MZ[DA] Starter Kit" |
| This supports Microchip PIC32MZ[DA] Starter Kit. |
| source "board/microchip/pic32mzda/Kconfig" |