Rajesh Tailor e6a438eeef Move PCI options to PCI group ...

This change I886045ab4e6bdb8418fd1ccdcd811417ecb4ad4a has moved PCI
configuration options to 'pci' group. They should no longer be
included in the "DEFAULT' group. The following options affected by
this change:
``pci_alias``
``pci_passthrough_whilelist``

Change-Id: Ia973da9d60c4d4cec14b861db47a76d219da5a9f

2017-06-02 15:45:54 +05:30

..

notes

Move PCI options to PCI group

2017-06-02 15:45:54 +05:30

source

Drop -dev in preparation for Pike M2

2017-06-01 10:23:29 -06:00