Which Kernel to be used?