Re: Tips for Kernel Module Debugging