| rjw | 1f88458 | 2022-01-06 17:20:42 +0800 | [diff] [blame^] | 1 | # SPDX-License-Identifier: GPL-2.0 |
| 2 | if MACH_PIC32 |
| 3 | |
| 4 | choice |
| 5 | prompt "Machine Type" |
| 6 | |
| 7 | config 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 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 | |
| 33 | endchoice |
| 34 | |
| 35 | choice |
| 36 | prompt "Devicetree selection" |
| 37 | default DTB_PIC32_NONE |
| 38 | help |
| 39 | Select the devicetree. |
| 40 | |
| 41 | config DTB_PIC32_NONE |
| 42 | bool "None" |
| 43 | |
| 44 | config DTB_PIC32_MZDA_SK |
| 45 | bool "PIC32MZDA Starter Kit" |
| 46 | depends on PIC32MZDA |
| 47 | select BUILTIN_DTB |
| 48 | |
| 49 | endchoice |
| 50 | |
| 51 | endif # MACH_PIC32 |