What makes a production kernel?