153d143feSPaul Mackerras# SPDX-License-Identifier: GPL-2.0 253d143feSPaul Mackerrasconfig PPC_MICROWATT 353d143feSPaul Mackerras depends on PPC_BOOK3S_64 && !SMP 453d143feSPaul Mackerras bool "Microwatt SoC platform" 553d143feSPaul Mackerras select PPC_XICS 6*aa9c5adfSBenjamin Herrenschmidt select PPC_ICS_NATIVE 7*aa9c5adfSBenjamin Herrenschmidt select PPC_ICP_NATIVE 853d143feSPaul Mackerras select PPC_NATIVE 953d143feSPaul Mackerras help 1053d143feSPaul Mackerras This option enables support for FPGA-based Microwatt implementations. 1153d143feSPaul Mackerras 12