Skeleton for Ethernet Device Drivers for Linux