Gecko [ 167.86.127.34 ]

Name	Size	Permission
common	[ DIR ]	drwxr-xr-x
pic32mzda	[ DIR ]	drwxr-xr-x
Kconfig	1009 B	-rw-r--r--
Makefile	201 B	-rw-r--r--

Code Editor : Kconfig

# SPDX-License-Identifier: GPL-2.0
if MACH_PIC32

choice
	prompt "Machine Type"

config PIC32MZDA
	bool "Microchip PIC32MZDA Platform"
	select BOOT_ELF32
	select BOOT_RAW
	select CEVT_R4K
	select CSRC_R4K
	select DMA_NONCOHERENT
	select SYS_HAS_CPU_MIPS32_R2
	select SYS_HAS_EARLY_PRINTK
	select SYS_SUPPORTS_32BIT_KERNEL
	select SYS_SUPPORTS_LITTLE_ENDIAN
	select GPIOLIB
	select COMMON_CLK
	select CLKDEV_LOOKUP
	select LIBFDT
	select USE_OF
	select PINCTRL
	select PIC32_EVIC
	help
	  Support for the Microchip PIC32MZDA microcontroller.

This is a 32-bit microcontroller with support for external or
	  internally packaged DDR2 memory up to 128MB.

For more information, see <http://www.microchip.com/>.

endchoice

choice
	prompt "Devicetree selection"
	default DTB_PIC32_NONE
	help
	  Select the devicetree.

config DTB_PIC32_NONE
       bool "None"

config DTB_PIC32_MZDA_SK
       bool "PIC32MZDA Starter Kit"
       depends on PIC32MZDA
       select BUILTIN_DTB

endchoice

endif # MACH_PIC32

${this.title}

Code Editor : Kconfig