Kernel.org: 5.2.1
sid (unstable): 4.19.37-5
buster (testing): 4.19.37-5
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

Samsung: NP900X3D-A02DE

PCI IDWorks?VendorDeviceDriverKernel
80860104Intel Corporation2nd Generation Core Processor Family DRAM Controller
80860116YesIntel Corporation2nd Generation Core Processor Family Integrated Graphics Controlleri915v2.6.38-
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intelv3.0.0-
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e16Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 4
80861e18Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 5
80861e26Intel Corporation7 Series/C210 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 Controller [AHCI mode]ahciv2.6.39-
80861e22YesIntel Corporation7 Series/C210 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