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 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
33endchoice
34
35choice
36	prompt "Devicetree selection"
37	default DTB_PIC32_NONE
38	help
39	  Select the devicetree.
40
41config DTB_PIC32_NONE
42	bool "None"
43
44config DTB_PIC32_MZDA_SK
45	bool "PIC32MZDA Starter Kit"
46	depends on PIC32MZDA
47	select BUILTIN_DTB
48
49endchoice
50
51endif # MACH_PIC32