An open source device driver for virtual network interface card