1*4882a593Smuzhiyun# SPDX-License-Identifier: GPL-2.0 2*4882a593Smuzhiyunif MACH_PIC32 3*4882a593Smuzhiyun 4*4882a593Smuzhiyunchoice 5*4882a593Smuzhiyun prompt "Machine Type" 6*4882a593Smuzhiyun 7*4882a593Smuzhiyunconfig PIC32MZDA 8*4882a593Smuzhiyun bool "Microchip PIC32MZDA Platform" 9*4882a593Smuzhiyun select BOOT_ELF32 10*4882a593Smuzhiyun select BOOT_RAW 11*4882a593Smuzhiyun select CEVT_R4K 12*4882a593Smuzhiyun select CSRC_R4K 13*4882a593Smuzhiyun select DMA_NONCOHERENT 14*4882a593Smuzhiyun select SYS_HAS_CPU_MIPS32_R2 15*4882a593Smuzhiyun select SYS_HAS_EARLY_PRINTK 16*4882a593Smuzhiyun select SYS_SUPPORTS_32BIT_KERNEL 17*4882a593Smuzhiyun select SYS_SUPPORTS_LITTLE_ENDIAN 18*4882a593Smuzhiyun select GPIOLIB 19*4882a593Smuzhiyun select COMMON_CLK 20*4882a593Smuzhiyun select CLKDEV_LOOKUP 21*4882a593Smuzhiyun select LIBFDT 22*4882a593Smuzhiyun select USE_OF 23*4882a593Smuzhiyun select PINCTRL 24*4882a593Smuzhiyun select PIC32_EVIC 25*4882a593Smuzhiyun help 26*4882a593Smuzhiyun Support for the Microchip PIC32MZDA microcontroller. 27*4882a593Smuzhiyun 28*4882a593Smuzhiyun This is a 32-bit microcontroller with support for external or 29*4882a593Smuzhiyun internally packaged DDR2 memory up to 128MB. 30*4882a593Smuzhiyun 31*4882a593Smuzhiyun For more information, see <http://www.microchip.com/>. 32*4882a593Smuzhiyun 33*4882a593Smuzhiyunendchoice 34*4882a593Smuzhiyun 35*4882a593Smuzhiyunchoice 36*4882a593Smuzhiyun prompt "Devicetree selection" 37*4882a593Smuzhiyun default DTB_PIC32_NONE 38*4882a593Smuzhiyun help 39*4882a593Smuzhiyun Select the devicetree. 40*4882a593Smuzhiyun 41*4882a593Smuzhiyunconfig DTB_PIC32_NONE 42*4882a593Smuzhiyun bool "None" 43*4882a593Smuzhiyun 44*4882a593Smuzhiyunconfig DTB_PIC32_MZDA_SK 45*4882a593Smuzhiyun bool "PIC32MZDA Starter Kit" 46*4882a593Smuzhiyun depends on PIC32MZDA 47*4882a593Smuzhiyun select BUILTIN_DTB 48*4882a593Smuzhiyun 49*4882a593Smuzhiyunendchoice 50*4882a593Smuzhiyun 51*4882a593Smuzhiyunendif # MACH_PIC32 52