1 # SPDX-License-Identifier: GPL-2.0 1 # SPDX-License-Identifier: GPL-2.0
2 if MACH_PIC32 2 if MACH_PIC32
3 3
4 choice 4 choice
5 prompt "Machine Type" 5 prompt "Machine Type"
6 6
7 config PIC32MZDA 7 config PIC32MZDA
8 bool "Microchip PIC32MZDA Platform" 8 bool "Microchip PIC32MZDA Platform"
9 select BOOT_ELF32 9 select BOOT_ELF32
10 select BOOT_RAW 10 select BOOT_RAW
11 select CEVT_R4K 11 select CEVT_R4K
12 select CSRC_R4K 12 select CSRC_R4K
13 select DMA_NONCOHERENT 13 select DMA_NONCOHERENT
14 select SYS_HAS_CPU_MIPS32_R2 14 select SYS_HAS_CPU_MIPS32_R2
15 select SYS_HAS_EARLY_PRINTK 15 select SYS_HAS_EARLY_PRINTK
16 select SYS_SUPPORTS_32BIT_KERNEL 16 select SYS_SUPPORTS_32BIT_KERNEL
17 select SYS_SUPPORTS_LITTLE_ENDIAN 17 select SYS_SUPPORTS_LITTLE_ENDIAN
18 select GPIOLIB 18 select GPIOLIB
19 select COMMON_CLK 19 select COMMON_CLK
>> 20 select CLKDEV_LOOKUP
20 select LIBFDT 21 select LIBFDT
21 select USE_OF 22 select USE_OF
22 select PINCTRL 23 select PINCTRL
23 select PIC32_EVIC 24 select PIC32_EVIC
24 help 25 help
25 Support for the Microchip PIC32MZDA 26 Support for the Microchip PIC32MZDA microcontroller.
26 27
27 This is a 32-bit microcontroller wit 28 This is a 32-bit microcontroller with support for external or
28 internally packaged DDR2 memory up t 29 internally packaged DDR2 memory up to 128MB.
29 30
30 For more information, see <http://ww 31 For more information, see <http://www.microchip.com/>.
31 32
32 endchoice 33 endchoice
33 34
34 choice 35 choice
35 prompt "Devicetree selection" 36 prompt "Devicetree selection"
36 default DTB_PIC32_NONE 37 default DTB_PIC32_NONE
37 help 38 help
38 Select the devicetree. 39 Select the devicetree.
39 40
40 config DTB_PIC32_NONE 41 config DTB_PIC32_NONE
41 bool "None" 42 bool "None"
42 43
43 config DTB_PIC32_MZDA_SK 44 config DTB_PIC32_MZDA_SK
44 bool "PIC32MZDA Starter Kit" 45 bool "PIC32MZDA Starter Kit"
45 depends on PIC32MZDA 46 depends on PIC32MZDA
46 select BUILTIN_DTB 47 select BUILTIN_DTB
47 48
48 endchoice 49 endchoice
49 50
50 endif # MACH_PIC32 51 endif # MACH_PIC32
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.