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.
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.