2016-01-28 10:00:10 +00:00
|
|
|
menu "Microchip PIC32 platforms"
|
|
|
|
depends on MACH_PIC32
|
|
|
|
|
|
|
|
config SYS_SOC
|
2016-01-28 10:00:16 +00:00
|
|
|
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
|
2016-01-28 10:00:10 +00:00
|
|
|
|
2016-01-28 10:00:17 +00:00
|
|
|
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"
|
|
|
|
|
2016-01-28 10:00:10 +00:00
|
|
|
endmenu
|