Some code for new kernel