The Ethernet devices in Linux