Il 26/08/2013 00:58, Ákos Kovács ha scritto:
> +
> +menu "PCI"
> +    config PCI_HOTPLUG
> +        bool "Enable hotplugging for PCI devices"
> +        depends on PCI
> +endmenu

This has now been renamed to CONFIG_PCI_HOTPLUG_OLD.  It's a legacy
interface, so perhaps you can leave the prompt out.

Paolo

Reply via email to