Commit | Line | Data |
---|---|---|
2572f00d JH |
1 | if MACH_PIC32 |
2 | ||
3 | choice | |
4 | prompt "Machine Type" | |
5 | ||
6 | config 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 | |
2572f00d JH |
18 | select COMMON_CLK |
19 | select CLKDEV_LOOKUP | |
20 | select LIBFDT | |
21 | select USE_OF | |
22 | select PINCTRL | |
23 | select PIC32_EVIC | |
24 | help | |
25 | Support for the Microchip PIC32MZDA microcontroller. | |
26 | ||
27 | This is a 32-bit microcontroller with support for external or | |
28 | internally packaged DDR2 memory up to 128MB. | |
29 | ||
30 | For more information, see <http://www.microchip.com/>. | |
31 | ||
32 | endchoice | |
33 | ||
842b6b16 JH |
34 | choice |
35 | prompt "Devicetree selection" | |
36 | default DTB_PIC32_NONE | |
37 | help | |
38 | Select the devicetree. | |
39 | ||
40 | config DTB_PIC32_NONE | |
41 | bool "None" | |
42 | ||
43 | config DTB_PIC32_MZDA_SK | |
44 | bool "PIC32MZDA Starter Kit" | |
45 | depends on PIC32MZDA | |
46 | select BUILTIN_DTB | |
47 | ||
48 | endchoice | |
49 | ||
2572f00d | 50 | endif # MACH_PIC32 |