kernel/drm: Remove CONFIG_PCI as a kernel option.
commit5037afc72ab529d4d120c858e9e84cbb40acbbca
authorSascha Wildner <saw@online.de>
Sat, 11 Aug 2018 20:39:07 +0000 (11 22:39 +0200)
committerSascha Wildner <saw@online.de>
Sat, 11 Aug 2018 20:39:07 +0000 (11 22:39 +0200)
treef36fcb1ea8f60bf26a7b03d1b257a44f393e444f
parent2afeb59bee895fc4eb01efa3619a554d22f9093b
kernel/drm: Remove CONFIG_PCI as a kernel option.

The code does not link in the absence of it and neither do we expect
systems without PCI support configured, nor does it make sense for
DRM specific stuff in particular, so just set it unconditionally.

If anything, it could be tied to NPCI being >0 (to check if
"device pci" is in the kernel), but for that it would have to
actually build/link without CONFIG_PCI in the first place.
sys/conf/options
sys/config/LINT64
sys/config/X86_64_GENERIC
sys/dev/drm/include/drm/drmP.h