Re: options to debug kernel hangs ?