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