Kernel.org: 5.3.6
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: NP-R530-JA03MX

PCI IDWorks?VendorDeviceDriverKernel
80862a40YesIntel CorporationMobile 4 Series Chipset Memory Controller Hubintel-agp
80862a42YesIntel CorporationMobile 4 Series Chipset Integrated Graphics Controlleri915v2.6.32-
80862a43Intel CorporationMobile 4 Series Chipset Integrated Graphics Controller
80862937Intel Corporation82801I (ICH9 Family) USB UHCI Controller #4
80862938Intel Corporation82801I (ICH9 Family) USB UHCI Controller #5
80862939Intel Corporation82801I (ICH9 Family) USB UHCI Controller #6
8086293cIntel Corporation82801I (ICH9 Family) USB2 EHCI Controller #2
8086293eYesIntel Corporation82801I (ICH9 Family) HD Audio Controllersnd-hda-intelv3.1.0-
80862940Intel Corporation82801I (ICH9 Family) PCI Express Port 1
80862946Intel Corporation82801I (ICH9 Family) PCI Express Port 4
80862934Intel Corporation82801I (ICH9 Family) USB UHCI Controller #1
80862935Intel Corporation82801I (ICH9 Family) USB UHCI Controller #2
80862936Intel Corporation82801I (ICH9 Family) USB UHCI Controller #3
8086293aIntel Corporation82801I (ICH9 Family) USB2 EHCI Controller #1
80862448YesIntel Corporation82801 Mobile PCI Bridgei810_rng
80862919YesIntel CorporationICH9M LPC Interface ControlleriTCO_wdtv2.6.28-
80862929YesIntel Corporation82801IBM/IEM (ICH9M/ICH9M-E) 4 port SATA Controller [AHCI mode]ahciv2.6.25-
80862930YesIntel Corporation82801I (ICH9 Family) SMBus Controlleri2c-i801v2.6.25-
168c002bYesAtheros Communications Inc.AR9285 Wireless Network Adapter (PCI-Express)ath9kv2.6.29-
11ab4354YesMarvell Technology Group Ltd.88E8040 PCI-E Fast Ethernet Controllersky2v2.6.25-

SPANISH:
Los atajos para el control de brillo no funcionan. El control se realiza mediante la terminal de root de la siguiente forma: # setpci -s 00:02.0 F4.B=XX ; donde XX está en el rango de 00 - 99.
ENGLISH:
The shortcuts for brightness control not working. The control is done by root terminal as follows: # setpci -s 00:02.0 F4.B=XX, where XX is in the range 00 - 99. (2012-07-01T03:17:28+00:00)