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 SUPPORTS_LITTLE_ENDIAN
  13         select SUPPORTS_CPU_MIPS32_R1
  14         select SUPPORTS_CPU_MIPS32_R2
  15         select MIPS_L1_CACHE_SHIFT_4
  16         select SYS_MIPS_CACHE_INIT_RAM_LOAD
  17         help
  18           This supports Microchip PIC32MZ[DA] family of microcontrollers.
  19
  20 endchoice
  21
  22 choice
  23         prompt "Board select"
  24
  25 config TARGET_PIC32MZDASK
  26         bool "Microchip PIC32MZ[DA] Starter Kit"
  27         depends on SOC_PIC32MZDA
  28         help
  29           This supports Microchip PIC32MZ[DA] Starter Kit.
  30
  31 endchoice
  32
  33 source "board/microchip/pic32mzda/Kconfig"
  34
  35 endmenu