arch/mips/pic32/Kconfig

   1 if MACH_PIC32
   2
   3 choice
   4         prompt "Machine Type"
   5
   6 config 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
  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