Re: how to debug fiasco kernel