# SPDX-License-Identifier: GPL-2.0
|
if MACH_PIC32
|
|
choice
|
prompt "Machine Type"
|
|
config PIC32MZDA
|
bool "Microchip PIC32MZDA Platform"
|
select BOOT_ELF32
|
select BOOT_RAW
|
select CEVT_R4K
|
select CSRC_R4K
|
select DMA_NONCOHERENT
|
select SYS_HAS_CPU_MIPS32_R2
|
select SYS_HAS_EARLY_PRINTK
|
select SYS_SUPPORTS_32BIT_KERNEL
|
select SYS_SUPPORTS_LITTLE_ENDIAN
|
select GPIOLIB
|
select COMMON_CLK
|
select CLKDEV_LOOKUP
|
select LIBFDT
|
select USE_OF
|
select PINCTRL
|
select PIC32_EVIC
|
help
|
Support for the Microchip PIC32MZDA microcontroller.
|
|
This is a 32-bit microcontroller with support for external or
|
internally packaged DDR2 memory up to 128MB.
|
|
For more information, see <http://www.microchip.com/>.
|
|
endchoice
|
|
choice
|
prompt "Devicetree selection"
|
default DTB_PIC32_NONE
|
help
|
Select the devicetree.
|
|
config DTB_PIC32_NONE
|
bool "None"
|
|
config DTB_PIC32_MZDA_SK
|
bool "PIC32MZDA Starter Kit"
|
depends on PIC32MZDA
|
select BUILTIN_DTB
|
|
endchoice
|
|
endif # MACH_PIC32
|
