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 endmenu