| DIR:/usr/lib/modules/5.14.0-503.15.1.el9_5.x86_64/build/arch/powerpc/platforms/microwatt/ |
| Current File : //usr/lib/modules/5.14.0-503.15.1.el9_5.x86_64/build/arch/powerpc/platforms/microwatt/Kconfig |
# 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
help
This option enables support for FPGA-based Microwatt implementations.
|