| # SPDX-License-Identifier: GPL-2.0 |
| if MACH_PIC32 |
| |
| choice |
| prompt "Machine Type" |
| |
| config PIC32MZDA |
| bool "Microchip PIC32MZDA Platform" |
| select BOOT_ELF32 |
| select BOOT_RAW |
| select CEVT_R4K |
| select CSRC_R4K |
| select DMA_NONCOHERENT |
| select SYS_HAS_CPU_MIPS32_R2 |
| select SYS_HAS_EARLY_PRINTK |
| select SYS_SUPPORTS_32BIT_KERNEL |
| select SYS_SUPPORTS_LITTLE_ENDIAN |
| select GPIOLIB |
| select COMMON_CLK |
| select LIBFDT |
| select USE_OF |
| select PINCTRL |
| select PIC32_EVIC |
| help |
| Support for the Microchip PIC32MZDA microcontroller. |
| |
| This is a 32-bit microcontroller with support for external or |
| internally packaged DDR2 memory up to 128MB. |
| |
| For more information, see <http://www.microchip.com/>. |
| |
| endchoice |
| |
| choice |
| prompt "Devicetree selection" |
| default DTB_PIC32_NONE |
| help |
| Select the devicetree. |
| |
| config DTB_PIC32_NONE |
| bool "None" |
| |
| config DTB_PIC32_MZDA_SK |
| bool "PIC32MZDA Starter Kit" |
| depends on PIC32MZDA |
| select BUILTIN_DTB |
| |
| endchoice |
| |
| endif # MACH_PIC32 |
