Debugging the kernel code