Re: how to debug my kernel