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