|
@@ -381,7 +381,6 @@ config SGI_IP27
|
|
|
select SYS_HAS_EARLY_PRINTK
|
|
|
select HW_HAS_PCI
|
|
|
select NR_CPUS_DEFAULT_64
|
|
|
- select PCI_DOMAINS
|
|
|
select SYS_HAS_CPU_R10000
|
|
|
select SYS_SUPPORTS_64BIT_KERNEL
|
|
|
select SYS_SUPPORTS_BIG_ENDIAN
|
|
@@ -513,7 +512,6 @@ config SIBYTE_BIGSUR
|
|
|
select BOOT_ELF32
|
|
|
select DMA_COHERENT
|
|
|
select NR_CPUS_DEFAULT_4
|
|
|
- select PCI_DOMAINS
|
|
|
select SIBYTE_BCM1x80
|
|
|
select SWAP_IO_SPACE
|
|
|
select SYS_HAS_CPU_SB1
|
|
@@ -1808,6 +1806,7 @@ config HW_HAS_PCI
|
|
|
config PCI
|
|
|
bool "Support for PCI controller"
|
|
|
depends on HW_HAS_PCI
|
|
|
+ select PCI_DOMAINS
|
|
|
help
|
|
|
Find out whether you have a PCI motherboard. PCI is the name of a
|
|
|
bus system, i.e. the way the CPU talks to the other stuff inside
|
|
@@ -1821,7 +1820,6 @@ config PCI
|
|
|
|
|
|
config PCI_DOMAINS
|
|
|
bool
|
|
|
- depends on PCI
|
|
|
|
|
|
source "drivers/pci/Kconfig"
|
|
|
|