| menu "Microchip PIC32 platforms" |
| depends on MACH_PIC32 |
| |
| config SYS_SOC |
| default "pic32mzda" if SOC_PIC32MZDA |
| |
| choice |
| prompt "PIC32 SoC select" |
| |
| config SOC_PIC32MZDA |
| 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 |
| help |
| This supports Microchip PIC32MZ[DA] family of microcontrollers. |
| |
| endchoice |
| |
| choice |
| prompt "Board select" |
| |
| config TARGET_PIC32MZDASK |
| bool "Microchip PIC32MZ[DA] Starter Kit" |
| depends on SOC_PIC32MZDA |
| help |
| This supports Microchip PIC32MZ[DA] Starter Kit. |
| |
| endchoice |
| |
| source "board/microchip/pic32mzda/Kconfig" |
| |
| endmenu |