1 # 2 # PCI configuration 3 # 4 5 if [ "$CONFIG_PCI" = "y" ]; then 6 bool 'PCI device name database' CONFIG_PCI_NAMES 7 fi