Kernel.org: 5.3.10
sid (unstable): 5.3.9-1
buster (testing): 4.19.67-2+deb10u1
stretch (stable): 4.9.189-3+deb9u1
jessie (oldstable): 3.16.74-1

Debian GNU/Linux device driver check & report

DELL: T1700

PCI IDWorks?VendorDeviceDriverKernel
80860c00Intel Corporation4th 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
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
80868c26Intel Corporation8 Series/C220 Series Chipset Family USB EHCI #1
80868c56YesIntel CorporationC226 Series Chipset Family Server Advanced SKU LPC ControlleriTCO_wdt
80862822YesIntel CorporationSATA Controller [RAID mode]ahciv2.6.25-
80868c22YesIntel Corporation8 Series/C220 Series Chipset Family SMBus Controlleri2c-i801
10de0ffaNVIDIA CorporationGK107GL [Quadro K600]
10de0e1bNVIDIA CorporationGK107 HDMI Audio Controller

Ubuntu-12.10 (2014-01-21T10:24:14+00:00)