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