Re: Debugging techniques inside kernel