Re: What makes a production kernel?