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

-assembled: 04:01.0 0200: 10ec:8139 (rev 10)

PCI IDWorks?VendorDeviceDriverKernel
10ec8139YesRealtek Semiconductor Co., Ltd.RTL-8100/8101L/8139 PCI Fast Ethernet Adapter8139cp,8139too