FM / pic32

/usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/arch/mips/pic32/

/usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/arch/mips/pic32

Name	Size	Mode	Actions
common/	-	0755	rm
pic32mzda/	-	0755	rm
Kconfig	1009	0644	edit dl rm
Makefile	201	0644	edit dl rm

Edit: /usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/arch/mips/pic32/Kconfig (1009B)

# 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

cmd: