Commit | Line | Data |
---|---|---|
b2441318 | 1 | # SPDX-License-Identifier: GPL-2.0 |
2572f00d JH |
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 | |
d30a2b47 | 18 | select GPIOLIB |
2572f00d JH |
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 | ||
842b6b16 JH |
35 | choice |
36 | prompt "Devicetree selection" | |
37 | default DTB_PIC32_NONE | |
38 | help | |
39 | Select the devicetree. | |
40 | ||
41 | config DTB_PIC32_NONE | |
371a4151 | 42 | bool "None" |
842b6b16 JH |
43 | |
44 | config DTB_PIC32_MZDA_SK | |
371a4151 EWI |
45 | bool "PIC32MZDA Starter Kit" |
46 | depends on PIC32MZDA | |
47 | select BUILTIN_DTB | |
842b6b16 JH |
48 | |
49 | endchoice | |
50 | ||
2572f00d | 51 | endif # MACH_PIC32 |