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 COMMON_CLK
  19         select CLKDEV_LOOKUP
  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