blob: 5f13bf14ed6bae99b76fb851e8d3233ff67df731 [file] [log] [blame]
Googler25e92cf2023-12-13 10:05:01 +00001menu "Microchip PIC32 platforms"
2 depends on MACH_PIC32
3
4config SYS_SOC
5 default "pic32mzda" if SOC_PIC32MZDA
6
7choice
8 prompt "PIC32 SoC select"
9
10config SOC_PIC32MZDA
11 bool "Microchip PIC32MZ[DA] family"
12 select MIPS_L1_CACHE_SHIFT_4
13 select ROM_EXCEPTION_VECTORS
14 select SUPPORTS_CPU_MIPS32_R1
15 select SUPPORTS_CPU_MIPS32_R2
16 select SUPPORTS_LITTLE_ENDIAN
17 select SYS_MIPS_CACHE_INIT_RAM_LOAD
18 help
19 This supports Microchip PIC32MZ[DA] family of microcontrollers.
20
21endchoice
22
23choice
24 prompt "Board select"
25
26config 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
32endchoice
33
34source "board/microchip/pic32mzda/Kconfig"
35
36endmenu