forked from Minki/linux
2f4574dd6d
This option is now synonymous with CONFIG_HAVE_CLK, so use the latter globally. Any out-of-tree platform ports that still use a private clk_get()/clk_put() implementation should move to CONFIG_COMMON_CLK. Signed-off-by: Arnd Bergmann <arnd@arndb.de>
51 lines
963 B
Plaintext
51 lines
963 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 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
|