Re: exporting kernel?