make the kernel Hott