Kernel.org: 5.1.4
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: Series 9 15inch Thin-Light (NP900X4C-A01AU)

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e3aIntel Corporation7 Series Chipset Family MEI Controller #1
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
80861e18Intel Corporation7 Series Chipset Family PCI Express Root Port 5
80861e26Intel Corporation7 Series Chipset Family USB Enhanced Host Controller #1
80861e5dYesIntel CorporationHM75 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-
8086088eYesIntel CorporationCentrino Advanced-N 6235iwlwifiv2.6.39-
10ec8168YesRealtek Semiconductor Co., Ltd.RTL8111/8168B PCI Express Gigabit Ethernet controllerr8169v2.6.25-
19120015