1 files changed, 51 insertions, 0 deletions

diff --git a/arch/mips/pic32/Kconfig b/arch/mips/pic32/Kconfig
new file mode 100644
index 000000000..7acbb50c1
--- /dev/null
+++ b/arch/mips/pic32/Kconfig
@@ -0,0 +1,51 @@
+# SPDX-License-Identifier: GPL-2.0
+if MACH_PIC32
+
+choice
+        prompt "Machine Type"
+
+config PIC32MZDA
+        bool "Microchip PIC32MZDA Platform"
+        select BOOT_ELF32
+        select BOOT_RAW
+        select CEVT_R4K
+        select CSRC_R4K
+        select DMA_NONCOHERENT
+        select SYS_HAS_CPU_MIPS32_R2
+        select SYS_HAS_EARLY_PRINTK
+        select SYS_SUPPORTS_32BIT_KERNEL
+        select SYS_SUPPORTS_LITTLE_ENDIAN
+        select GPIOLIB
+        select COMMON_CLK
+        select CLKDEV_LOOKUP
+        select LIBFDT
+        select USE_OF
+        select PINCTRL
+        select PIC32_EVIC
+        help
+          Support for the Microchip PIC32MZDA microcontroller.
+
+          This is a 32-bit microcontroller with support for external or
+          internally packaged DDR2 memory up to 128MB.
+
+          For more information, see <http://www.microchip.com/>.
+
+endchoice
+
+choice
+        prompt "Devicetree selection"
+        default DTB_PIC32_NONE
+        help
+          Select the devicetree.
+
+config DTB_PIC32_NONE
+        bool "None"
+
+config DTB_PIC32_MZDA_SK
+        bool "PIC32MZDA Starter Kit"
+        depends on PIC32MZDA
+        select BUILTIN_DTB
+
+endchoice
+
+endif # MACH_PIC32