Kernel.org: 5.1.3
sid (unstable): 4.19.37-3
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u2
jessie (oldstable): 3.16.64-2

Debian GNU/Linux device driver check & report

Samsung: 700G7C

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860151Intel Corporation3rd Gen Core processor PCI Express Root Port
80861e31Intel Corporation7 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series Chipset Family MEI Controller #1
80861e2dIntel Corporation7 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series Chipset Family High Definition Audio Controllersnd-hda-intelv3.0.0-
80861e10Intel Corporation7 Series Chipset Family PCI Express Root Port 1
80861e16Intel Corporation7 Series Chipset Family PCI Express Root Port 4
80861e1eIntel Corporation7 Series Chipset Family PCI Express Root Port 8
80861e26Intel Corporation7 Series Chipset Family USB Enhanced Host Controller #1
80861e59YesIntel CorporationHM76 Express Chipset LPC ControlleriTCO_wdtv2.6.39-
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA AHCI Controllerahciv2.6.39-
80861e22YesIntel Corporation7 Series Chipset Family SMBus Controlleri2c-i801v3.0.0-
10de1212
10de0e0cNVIDIA CorporationGF110 High Definition Audio Controller
8086088eYesIntel CorporationCentrino Advanced-N 6235iwlwifiv2.6.39-
10ec8168YesRealtek Semiconductor Co., Ltd.RTL8111/8168B PCI Express Gigabit Ethernet controllerr8169v2.6.25-
10ec5209YesRealtek Semiconductor Co., Ltd.RTS5209 PCI Express Card Readerrts_pstorv3.0.0-
10ec5209YesRealtek Semiconductor Co., Ltd.RTS5209 PCI Express Card Readerrts_pstorv3.0.0-