tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
1if MACH_PIC32
2
3choice
4 prompt "Machine Type"
5
6config 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
17 select ARCH_REQUIRE_GPIOLIB
18 select HAVE_MACH_CLKDEV
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