Re: Which Kernel to be used?