1*53d143feSPaul Mackerras# SPDX-License-Identifier: GPL-2.0
2*53d143feSPaul Mackerrasconfig PPC_MICROWATT
3*53d143feSPaul Mackerras	depends on PPC_BOOK3S_64 && !SMP
4*53d143feSPaul Mackerras	bool "Microwatt SoC platform"
5*53d143feSPaul Mackerras	select PPC_XICS
6*53d143feSPaul Mackerras	select PPC_NATIVE
7*53d143feSPaul Mackerras	help
8*53d143feSPaul Mackerras          This option enables support for FPGA-based Microwatt implementations.
9*53d143feSPaul Mackerras
10