| Joshua Henderson | 2572f00 | 2016-01-13 18:15:39 -0700 | [diff] [blame] | 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 |
| Linus Walleij | d30a2b4 | 2016-04-19 11:23:22 +0200 | [diff] [blame] | 17 | select GPIOLIB |
| Joshua Henderson | 2572f00 | 2016-01-13 18:15:39 -0700 | [diff] [blame] | 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 | |
| Joshua Henderson | 842b6b1 | 2016-01-13 18:15:46 -0700 | [diff] [blame] | 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 | |
| Joshua Henderson | 2572f00 | 2016-01-13 18:15:39 -0700 | [diff] [blame] | 50 | endif # MACH_PIC32 |