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 13