Kernel.org: 5.3.7
sid (unstable): 5.2.17-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

Samsung: NB30

PCI IDWorks?VendorDeviceDriverKernel
8086a010YesIntel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx DMI Bridgeintel-agp
8086a011YesIntel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx Integrated Graphics Controlleri915
8086a012Intel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx Integrated Graphics Controller
808627d8YesIntel CorporationNM10/ICH7 Family High Definition Audio Controllersnd-hda-intel
808627d0Intel CorporationNM10/ICH7 Family PCI Express Port 1
808627d2Intel CorporationNM10/ICH7 Family PCI Express Port 2
808627d4Intel CorporationNM10/ICH7 Family PCI Express Port 3
808627d6Intel CorporationNM10/ICH7 Family PCI Express Port 4
808627c8Intel CorporationNM10/ICH7 Family USB UHCI Controller #1
808627c9Intel CorporationNM10/ICH7 Family USB UHCI Controller #2
808627caIntel CorporationNM10/ICH7 Family USB UHCI Controller #3
808627cbIntel CorporationNM10/ICH7 Family USB UHCI Controller #4
808627ccIntel CorporationNM10/ICH7 Family USB2 EHCI Controller
80862448YesIntel Corporation82801 Mobile PCI Bridgei810_rng
808627bcYesIntel CorporationNM10 Family LPC ControlleriTCO_wdt
808627c0YesIntel CorporationNM10/ICH7 Family SATA Controller [IDE mode]ata_piix
808627daYesIntel CorporationNM10/ICH7 Family SMBus Controlleri2c-i801
10ec8192YesRealtek Semiconductor Co., Ltd.RTL8192E/RTL8192SE Wireless LAN Controllerrtl8192se,r8192e_pci
11ab4354YesMarvell Technology Group Ltd.88E8040 PCI-E Fast Ethernet Controllersky2