1 menu "Microchip PIC32 platforms" 2 depends on MACH_PIC32 3 4 config SYS_SOC 5 default "pic32mzda" if SOC_PIC32MZDA 6 7 choice 8 prompt "PIC32 SoC select" 9 10 config 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 select ROM_EXCEPTION_VECTORS 18 help 19 This supports Microchip PIC32MZ[DA] family of microcontrollers. 20 21 endchoice 22 23 choice 24 prompt "Board select" 25 26 config TARGET_PIC32MZDASK 27 bool "Microchip PIC32MZ[DA] Starter Kit" 28 depends on SOC_PIC32MZDA 29 help 30 This supports Microchip PIC32MZ[DA] Starter Kit. 31 32 endchoice 33 34 source "board/microchip/pic32mzda/Kconfig" 35 36 endmenu 37
