Kernel.org: 5.3
sid (unstable): 5.2.9-2
buster (testing): 4.19.67-2
stretch (stable): 4.9.189-3
jessie (oldstable): 3.16.72-1

Debian GNU/Linux device driver check & report

Lenovo: 71y8150

PCI IDWorks?VendorDeviceDriverKernel
11ab4380YesMarvell Technology Group Ltd.88E8057 PCI-E Gigabit Ethernet Controllersky2v2.6.27-

lenovo machine type 0809 (2012-07-18T00:14:52+00:00)