1 # SPDX-License-Identifier: GPL-2.0
2 # For a description of the syntax of this conf
3 # see Documentation/kbuild/kconfig-language.rs
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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.