Quelle  Kconfig   Sprache: unbekannt

# SPDX-License-Identifier: GPL-2.0
config PPC_MICROWATT
 depends on PPC_BOOK3S_64
 bool "Microwatt SoC platform"
 select PPC_XICS
 select PPC_ICS_NATIVE
 select PPC_ICP_NATIVE
 select PPC_UDBG_16550
 select COMMON_CLK
 help
          This option enables support for FPGA-based Microwatt implementations.