diff options
Diffstat (limited to 'src/mainboard/via/vt8454c/Options.lb')
| -rw-r--r-- | src/mainboard/via/vt8454c/Options.lb | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/mainboard/via/vt8454c/Options.lb b/src/mainboard/via/vt8454c/Options.lb index 0d84d5f357..cb796caf97 100644 --- a/src/mainboard/via/vt8454c/Options.lb +++ b/src/mainboard/via/vt8454c/Options.lb @@ -72,7 +72,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_SMP uses CONFIG_IOAPIC @@ -185,15 +184,6 @@ default CC="$(CONFIG_CROSS_COMPILE)gcc -m32" default HOSTCC="gcc" ## -## Set this to the max PCI bus number you -## would ever use for PCI config IO. -## 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 = 0x80 - -## ## Disable the gdb stub by default ## default CONFIG_GDB_STUB=0 |