1# SPDX-License-Identifier: GPL-2.0
2# For a description of the syntax of this configuration file,
3# see Documentation/kbuild/kconfig-language.rst.
4#
5
6config PPC4xx_PCI_EXPRESS
7	bool
8	depends on PCI && 4xx
9
10config PPC4xx_HSTA_MSI
11	bool
12	depends on PCI_MSI
13	depends on PCI && 4xx
14
15config PPC_MSI_BITMAP
16	bool
17	depends on PCI_MSI
18	default y if MPIC
19	default y if FSL_PCI
20	default y if PPC_POWERNV
21
22source "arch/powerpc/sysdev/xics/Kconfig"
23source "arch/powerpc/sysdev/xive/Kconfig"
24
25config GE_FPGA
26	bool
27
28config FSL_CORENET_RCPM
29	bool
30	help
31	  This option enables support for RCPM (Run Control/Power Management).
32