The low latency kernel for Ubuntu Raring