OSCL-LXR

0001 # SPDX-License-Identifier: GPL-2.0
0002 config PPC_MICROWATT
0003         depends on PPC_BOOK3S_64 && !SMP
0004         bool "Microwatt SoC platform"
0005         select PPC_XICS
0006         select PPC_ICS_NATIVE
0007         select PPC_ICP_NATIVE
0008         select PPC_UDBG_16550
0009         help
0010           This option enables support for FPGA-based Microwatt implementations.
0011