summaryrefslogtreecommitdiff
path: root/src/mainboard/jetway
diff options
context:
space:
mode:
Diffstat (limited to 'src/mainboard/jetway')
-rw-r--r--src/mainboard/jetway/j7f24/Options.lb8
1 files changed, 0 insertions, 8 deletions
diff --git a/src/mainboard/jetway/j7f24/Options.lb b/src/mainboard/jetway/j7f24/Options.lb
index b53a62f6d4..4db8ab2a3d 100644
--- a/src/mainboard/jetway/j7f24/Options.lb
+++ b/src/mainboard/jetway/j7f24/Options.lb
@@ -61,7 +61,6 @@ uses CONFIG_UDELAY_TSC
uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
uses CONFIG_PCI_ROM_RUN
uses CONFIG_CONSOLE_VGA
-uses CONFIG_MAX_PCI_BUSES
uses CONFIG_TTYS0_BAUD
uses CONFIG_VIDEO_MB
uses CONFIG_IOAPIC
@@ -94,11 +93,4 @@ default CONFIG_CROSS_COMPILE = ""
default CC = "$(CONFIG_CROSS_COMPILE)gcc -m32 -fno-stack-protector"
default HOSTCC = "gcc"
-##
-## Set this to the max PCI bus number you would ever use for PCI config I/O.
-## Setting this number very high will make pci_locate_device() take a long
-## time when it can't find a device.
-##
-default CONFIG_MAX_PCI_BUSES = 3
-
end