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 SYS_HAS_CPU_MIPS32_R2 15 select SYS_HAS_EARLY_PRINTK 16 select SYS_SUPPORTS_32BIT_KERNEL 17 select SYS_SUPPORTS_LITTLE_ENDIAN 18 select GPIOLIB 19 select COMMON_CLK 20 select LIBFDT 21 select USE_OF 22 select PINCTRL 23 help 24 Support for the Microchip PIC32MZDA microcontroller. 25 26 This is a 32-bit microcontroller with support for external or 27 internally packaged DDR2 memory up to 128MB. 28 29 For more information, see <http://www.microchip.com/>. 30 31endchoice 32 33choice 34 prompt "Devicetree selection" 35 default DTB_PIC32_NONE 36 help 37 Select the devicetree. 38 39config DTB_PIC32_NONE 40 bool "None" 41 42config DTB_PIC32_MZDA_SK 43 bool "PIC32MZDA Starter Kit" 44 depends on PIC32MZDA 45 select BUILTIN_DTB 46 47endchoice 48 49endif # MACH_PIC32 50