An updated kernel would be nice too