[TUHS] Re: kernel debugging in analogue