Re: Building the distribution kernel