Kernel.org: 5.0.8
sid (unstable): 4.19.28-2
buster (testing): 4.19.28-2
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.64-2

Debian GNU/Linux device driver check & report

HP: ZBOOK 15

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
10de12b9NVIDIA CorporationGK208GLM [Quadro K610M]
10de0e0fNVIDIA CorporationGK208 HDMI/DP Audio Controller
8086088eYesIntel CorporationCentrino Advanced-N 6235iwlwifi
10ec5249Realtek Semiconductor Co., Ltd.RTS5249 PCI Express Card Reader