I want to debug the kernel