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 LIBFDT
  21         select USE_OF
  22         select PINCTRL
  23         select PIC32_EVIC
  24         help
  25           Support for the Microchip PIC32MZDA microcontroller.
  26
  27           This is a 32-bit microcontroller with support for external or
  28           internally packaged DDR2 memory up to 128MB.
  29
  30           For more information, see <http://www.microchip.com/>.
  31
  32 endchoice
  33
  34 choice
  35         prompt "Devicetree selection"
  36         default DTB_PIC32_NONE
  37         help
  38           Select the devicetree.
  39
  40 config DTB_PIC32_NONE
  41         bool "None"
  42
  43 config DTB_PIC32_MZDA_SK
  44         bool "PIC32MZDA Starter Kit"
  45         depends on PIC32MZDA
  46         select BUILTIN_DTB
  47
  48 endchoice
  49
  50 endif # MACH_PIC32