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 PPC4xx_MSI
16	bool
17	depends on PCI_MSI
18	depends on PCI && 4xx
19
20config PPC_MSI_BITMAP
21	bool
22	depends on PCI_MSI
23	default y if MPIC
24	default y if FSL_PCI
25	default y if PPC4xx_MSI
26	default y if PPC_POWERNV
27
28source "arch/powerpc/sysdev/xics/Kconfig"
29source "arch/powerpc/sysdev/xive/Kconfig"
30
31config GE_FPGA
32	bool
33
34config FSL_CORENET_RCPM
35	bool
36	help
37	  This option enables support for RCPM (Run Control/Power Management).
38