what kernel is going to be?