[17:37] <pgregor2> hi
[17:38] <pgregor2> is this apropriate place (channel) to ask a question about kernel development?
[17:42] <pgregor2> my question is described here: http://stackoverflow.com/questions/31162843/debug-linux-kernel-running-on-intel-target-from-amd-host-how-to-return-control
[17:42] <pgregor2> and here: http://stackoverflow.com/questions/31164163/ubuntu-echo-g-sysrq-trigger-halts-but-doesnt-return-control-to-gdb