| # 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_NATIVE | |
| select PPC_UDBG_16550 | |
| select ARCH_RANDOM | |
| help | |
| This option enables support for FPGA-based Microwatt implementations. | |