1 # SPDX-License-Identifier: GPL-2.0 2 config 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_UDBG_16550 9 help 10 This option enables support for FPGA-based Microwatt implementations. 11
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.