Directory | Files | |
---|---|---|
.. | 4 | |
File | Size | |
Kconfig | 294 B | |
Makefile | 23 B | |
microwatt.h | 140 B | |
rng.c | 863 B | |
setup.c | 879 B |
# 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.