The low latency kernel for Ubuntu