52 lines
		
	
	
		
			1009 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			52 lines
		
	
	
		
			1009 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| # 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
 | 
