arch/mips/mach-pic32/Kconfig

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