# SPDX-License-Identifier: GPL-2.0 | |
config PPC_MICROWATT | |
depends on PPC_BOOK3S_64 && !SMP | |
bool "Microwatt SoC platform" | |
select PPC_XICS | |
select PPC_ICS_NATIVE | |
select PPC_ICP_NATIVE | |
select PPC_UDBG_16550 | |
select ARCH_RANDOM | |
help | |
This option enables support for FPGA-based Microwatt implementations. | |