# 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 |