arch/mips/pic32/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 if MACH_PIC32
   3
   4 choice
   5         prompt "Machine Type"
   6
   7 config 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
  33 endchoice
  34
  35 choice
  36         prompt "Devicetree selection"
  37         default DTB_PIC32_NONE
  38         help
  39           Select the devicetree.
  40
  41 config DTB_PIC32_NONE
  42         bool "None"
  43
  44 config DTB_PIC32_MZDA_SK
  45         bool "PIC32MZDA Starter Kit"
  46         depends on PIC32MZDA
  47         select BUILTIN_DTB
  48
  49 endchoice
  50
  51 endif # MACH_PIC32