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