Killing L4Linux