Kconfig

 1# SPDX-License-Identifier: GPL-2.0
 2config PPC_MICROWATT
 3	depends on PPC_BOOK3S_64
 4	bool "Microwatt SoC platform"
 5	select PPC_XICS
 6	select PPC_ICS_NATIVE
 7	select PPC_ICP_NATIVE
 8	select PPC_UDBG_16550
 9	select COMMON_CLK
10	help
11          This option enables support for FPGA-based Microwatt implementations.
12