1
2
3
4
5
6
7
8
9
10
11
12
13
# SPDX-License-Identifier: GPL-2.0
config PPC_MICROWATT
depends on PPC_BOOK3S_64
bool "Microwatt SoC platform"
select PPC_XICS
select PPC_ICS_NATIVE
select PPC_ICP_NATIVE
select PPC_UDBG_16550
select COMMON_CLK
help
This option enables support for FPGA-based Microwatt implementations.