On Fri, Jun 14, 2013 at 13:56:51 +0200, Denys Vlasenko wrote:
> Martin, can you try it?
> It should be working with stock gdb and kernel.

Yep, works for me.

Reply via email to