Quelle  Kconfig   Sprache: C

# 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 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