OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	05/09/2024 07:14:16 AM	rwxr-xr-x
📄 Kconfig	1009 bytes	01/28/2018 09:20:33 PM	rw-r--r--
📄 Makefile	201 bytes	01/28/2018 09:20:33 PM	rw-r--r--
📁 common	-	05/09/2024 07:14:16 AM	rwxr-xr-x
📁 pic32mzda	-	05/09/2024 07:14:16 AM	rwxr-xr-x

Editing: Kconfig

# 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