summaryrefslogtreecommitdiff
path: root/arch/powerpc/platforms/microwatt/Kconfig
blob: 5e320f49583aa5d922046ce3c829c889c4eb20eb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
# 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
	select ARCH_RANDOM
	help
          This option enables support for FPGA-based Microwatt implementations.