The kernel for the server.