Kconfig 985 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. # SPDX-License-Identifier: GPL-2.0
  2. if MACH_PIC32
  3. choice
  4. prompt "Machine Type"
  5. config PIC32MZDA
  6. bool "Microchip PIC32MZDA Platform"
  7. select BOOT_ELF32
  8. select BOOT_RAW
  9. select CEVT_R4K
  10. select CSRC_R4K
  11. select DMA_NONCOHERENT
  12. select SYS_HAS_CPU_MIPS32_R2
  13. select SYS_HAS_EARLY_PRINTK
  14. select SYS_SUPPORTS_32BIT_KERNEL
  15. select SYS_SUPPORTS_LITTLE_ENDIAN
  16. select GPIOLIB
  17. select COMMON_CLK
  18. select CLKDEV_LOOKUP
  19. select LIBFDT
  20. select USE_OF
  21. select PINCTRL
  22. select PIC32_EVIC
  23. help
  24. Support for the Microchip PIC32MZDA microcontroller.
  25. This is a 32-bit microcontroller with support for external or
  26. internally packaged DDR2 memory up to 128MB.
  27. For more information, see <http://www.microchip.com/>.
  28. endchoice
  29. choice
  30. prompt "Devicetree selection"
  31. default DTB_PIC32_NONE
  32. help
  33. Select the devicetree.
  34. config DTB_PIC32_NONE
  35. bool "None"
  36. config DTB_PIC32_MZDA_SK
  37. bool "PIC32MZDA Starter Kit"
  38. depends on PIC32MZDA
  39. select BUILTIN_DTB
  40. endchoice
  41. endif # MACH_PIC32