392bbe0b95
[ Upstream commit 2f4574dd6dd19eb3e8ab0415a3ae960d04be3a65 ]
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>
Stable-dep-of: 0309f714a090 ("clocksource/drivers:sp804: Make user selectable")
Signed-off-by: Sasha Levin <sashal@kernel.org>
50 lines
963 B
Text
Executable file
50 lines
963 B
Text
Executable file
# 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
|