# SPDX-License-Identifier: GPL-2.0 if [31mCONFIG_MACH_PIC32[0m choice prompt "Machine Type" config [31mCONFIG_PIC32MZDA[0m bool "Microchip PIC32MZDA Platform" select [31mCONFIG_BOOT_ELF32[0m select [31mCONFIG_BOOT_RAW[0m select [31mCONFIG_CEVT_R4K[0m select [31mCONFIG_CSRC_R4K[0m select [31mCONFIG_DMA_NONCOHERENT[0m select [31mCONFIG_SYS_HAS_CPU_MIPS32_R2[0m select [31mCONFIG_SYS_HAS_EARLY_PRINTK[0m select [31mCONFIG_SYS_SUPPORTS_32BIT_KERNEL[0m select [31mCONFIG_SYS_SUPPORTS_LITTLE_ENDIAN[0m select [31mCONFIG_GPIOLIB[0m select [31mCONFIG_COMMON_CLK[0m select [31mCONFIG_CLKDEV_LOOKUP[0m select [31mCONFIG_LIBFDT[0m select [31mCONFIG_USE_OF[0m select [31mCONFIG_PINCTRL[0m select [31mCONFIG_PIC32_EVIC[0m help Support for the Microchip [31mCONFIG_PIC32MZDA[0m 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 [31mCONFIG_DTB_PIC32_NONE[0m help Select the devicetree. config [31mCONFIG_DTB_PIC32_NONE[0m bool "None" config [31mCONFIG_DTB_PIC32_MZDA_SK[0m bool "PIC32MZDA Starter Kit" depends on [31mCONFIG_PIC32MZDA[0m select [31mCONFIG_BUILTIN_DTB[0m endchoice endif # [31mCONFIG_MACH_PIC32[0m |