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 6 config PPC4xx_PCI_EXPRESS 7 bool 8 depends on PCI && 44x 9 10 config PPC4xx_HSTA_MSI 11 bool 12 depends on PCI_MSI 13 depends on PCI && 44x 14 15 config 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 22 source "arch/powerpc/sysdev/xics/Kconfig" 23 source "arch/powerpc/sysdev/xive/Kconfig" 24 25 config GE_FPGA 26 bool 27 28 config FSL_CORENET_RCPM 29 bool 30 help 31 This option enables support for RCPM (Run Control/Power Management).
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.