RE: Debugging techniques inside kernel