Kernel.org: 4.20.11
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

HP: zbook17

PCI IDWorks?VendorDeviceDriverKernel
80860c04Intel CorporationXeon E3-1200 v3/4th Gen Core Processor DRAM Controller
80860c01Intel CorporationXeon E3-1200 v3/4th Gen Core Processor PCI Express x16 Controller
80868c31Intel Corporation8 Series/C220 Series Chipset Family USB xHCI
80868c3aIntel Corporation8 Series/C220 Series Chipset Family MEI Controller #1
80868c3dIntel Corporation8 Series/C220 Series Chipset Family KT Controller
8086153aIntel CorporationEthernet Connection I217-LM
80868c2dIntel Corporation8 Series/C220 Series Chipset Family USB EHCI #2
80868c20Intel Corporation8 Series/C220 Series Chipset High Definition Audio Controller
80868c10Intel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #1
80868c18Intel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #5
80868c1cIntel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #7
80868c1eIntel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #8
80868c26Intel Corporation8 Series/C220 Series Chipset Family USB EHCI #1
80868c4fYesIntel CorporationQM87 Express LPC ControlleriTCO_wdt
80868c03Intel Corporation8 Series/C220 Series Chipset Family 6-port SATA Controller 1 [AHCI mode]
80868c22YesIntel Corporation8 Series/C220 Series Chipset Family SMBus Controlleri2c-i801
10de11b6NVIDIA CorporationGK104GLM [Quadro K3100M]
10de0e0aNVIDIA CorporationGK104 HDMI Audio Controller
808608b1Intel CorporationWireless 7260
10ec5249Realtek Semiconductor Co., Ltd.RTS5249 PCI Express Card Reader