Re: Debugging in kernel