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