What kernel to use?