TCP/IP stack for DPDK; uses rump kernels