Re: Setting up to debug kernel