Re: Debugging a custom kernel