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_NATIVE 7 help 8 This option enables support for FPGA-based Microwatt implementations. 9 10