• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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
52