On Fri, Jul 23, 2010 at 1:58 PM, TeLeMan wrote:
> On Fri, Jun 25, 2010 at 22:56, Jan Kiszka wrote:
>> Guest debugging is currently broken under CONFIG_IOTHREAD. The reason is
>> inconsistent or even lacking signaling the debug events from the source
>> VCPU to the main loop and the gdbstub.
>>
>>
On Fri, Jun 25, 2010 at 22:56, Jan Kiszka wrote:
> Guest debugging is currently broken under CONFIG_IOTHREAD. The reason is
> inconsistent or even lacking signaling the debug events from the source
> VCPU to the main loop and the gdbstub.
>
> This patch addresses the issue by pushing this signalin
