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

System76: Serval WS (Clevo P750DM)

PCI IDWorks?VendorDeviceDriverKernel
8086191fIntel CorporationSky Lake Host Bridge/DRAM Registers
80861901Intel CorporationSky Lake PCIe Controller (x16)
8086a12fIntel CorporationSunrise Point-H USB 3.0 xHCI Controller
8086a13aIntel CorporationSunrise Point-H CSME HECI #1
8086a102
8086a110Intel CorporationSunrise Point-H PCI Express Root Port #1
8086a116Intel CorporationSunrise Point-H PCI Express Root Port #7
8086a117Intel CorporationSunrise Point-H PCI Express Root Port #8
8086a118Intel CorporationSunrise Point-H PCI Express Root Port #9
8086a11cIntel CorporationSunrise Point-H PCI Express Root Port #13
8086a145Intel CorporationSunrise Point-H LPC Controller
8086a121Intel CorporationSunrise Point-H PMC
8086a170Intel CorporationSunrise Point-H HD Audio
8086a123Intel CorporationSunrise Point-H SMBus
10de1618
10de0fbbNVIDIA CorporationGM204 High Definition Audio Controller
1969e0a1
10ec5250
144da802
808624f3Intel CorporationWireless 8260