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