Kconfig 726 B

123456789101112131415161718192021222324252627282930313233343536
  1. menu "Microchip PIC32 platforms"
  2. depends on MACH_PIC32
  3. config SYS_SOC
  4. default "pic32mzda" if SOC_PIC32MZDA
  5. choice
  6. prompt "PIC32 SoC select"
  7. config SOC_PIC32MZDA
  8. bool "Microchip PIC32MZ[DA] family"
  9. select SUPPORTS_LITTLE_ENDIAN
  10. select SUPPORTS_CPU_MIPS32_R1
  11. select SUPPORTS_CPU_MIPS32_R2
  12. select MIPS_L1_CACHE_SHIFT_4
  13. select SYS_MIPS_CACHE_INIT_RAM_LOAD
  14. select ROM_EXCEPTION_VECTORS
  15. help
  16. This supports Microchip PIC32MZ[DA] family of microcontrollers.
  17. endchoice
  18. choice
  19. prompt "Board select"
  20. config TARGET_PIC32MZDASK
  21. bool "Microchip PIC32MZ[DA] Starter Kit"
  22. depends on SOC_PIC32MZDA
  23. help
  24. This supports Microchip PIC32MZ[DA] Starter Kit.
  25. endchoice
  26. source "board/microchip/pic32mzda/Kconfig"
  27. endmenu