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
6aa9c5adfSBenjamin Herrenschmidt	select PPC_ICS_NATIVE
7aa9c5adfSBenjamin Herrenschmidt	select PPC_ICP_NATIVE
853d143feSPaul Mackerras	select PPC_NATIVE
9*48b545b8SBenjamin Herrenschmidt	select PPC_UDBG_16550
1053d143feSPaul Mackerras	help
1153d143feSPaul Mackerras          This option enables support for FPGA-based Microwatt implementations.
1253d143feSPaul Mackerras
13