0001 # SPDX-License-Identifier: GPL-2.0
0002 if MACH_PIC32
0003
0004 choice
0005 prompt "Machine Type"
0006
0007 config PIC32MZDA
0008 bool "Microchip PIC32MZDA Platform"
0009 select BOOT_ELF32
0010 select BOOT_RAW
0011 select CEVT_R4K
0012 select CSRC_R4K
0013 select DMA_NONCOHERENT
0014 select SYS_HAS_CPU_MIPS32_R2
0015 select SYS_HAS_EARLY_PRINTK
0016 select SYS_SUPPORTS_32BIT_KERNEL
0017 select SYS_SUPPORTS_LITTLE_ENDIAN
0018 select GPIOLIB
0019 select COMMON_CLK
0020 select LIBFDT
0021 select USE_OF
0022 select PINCTRL
0023 select PIC32_EVIC
0024 help
0025 Support for the Microchip PIC32MZDA microcontroller.
0026
0027 This is a 32-bit microcontroller with support for external or
0028 internally packaged DDR2 memory up to 128MB.
0029
0030 For more information, see <http://www.microchip.com/>.
0031
0032 endchoice
0033
0034 choice
0035 prompt "Devicetree selection"
0036 default DTB_PIC32_NONE
0037 help
0038 Select the devicetree.
0039
0040 config DTB_PIC32_NONE
0041 bool "None"
0042
0043 config DTB_PIC32_MZDA_SK
0044 bool "PIC32MZDA Starter Kit"
0045 depends on PIC32MZDA
0046 select BUILTIN_DTB
0047
0048 endchoice
0049
0050 endif # MACH_PIC32
