The problem it is trying to solve is not overhead of the Linux kernel on a big server in a datacenter