0001 # SPDX-License-Identifier: GPL-2.0
0002 # For a description of the syntax of this configuration file,
0003 # see Documentation/kbuild/kconfig-language.rst.
0004 #
0005
0006 config PPC4xx_PCI_EXPRESS
0007 bool
0008 depends on PCI && 4xx
0009
0010 config PPC4xx_HSTA_MSI
0011 bool
0012 depends on PCI_MSI
0013 depends on PCI && 4xx
0014
0015 config PPC_MSI_BITMAP
0016 bool
0017 depends on PCI_MSI
0018 default y if MPIC
0019 default y if FSL_PCI
0020 default y if PPC_POWERNV
0021
0022 source "arch/powerpc/sysdev/xics/Kconfig"
0023 source "arch/powerpc/sysdev/xive/Kconfig"
0024
0025 config GE_FPGA
0026 bool
0027
0028 config FSL_CORENET_RCPM
0029 bool
0030 help
0031 This option enables support for RCPM (Run Control/Power Management).
