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_UDBG_16550 9 select ARCH_RANDOM 10 help 11 This option enables support for FPGA-based Microwatt implementations. 12 13