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
17 select ROM_EXCEPTION_VECTORS
19 This supports Microchip PIC32MZ[DA] family of microcontrollers.
26 config TARGET_PIC32MZDASK
27 bool "Microchip PIC32MZ[DA] Starter Kit"
28 depends on SOC_PIC32MZDA
30 This supports Microchip PIC32MZ[DA] Starter Kit.
34 source "board/microchip/pic32mzda/Kconfig"