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