Re: [Xen-users] Debugging DomU

[Chris Brand <chris.brand@xxxxxxxxxxxx>]

> I think xenctx (from $prefix/lib/xen/bin) should work, which will get you at 
> least register state including, hopefully, a useful r15 which gdb or 
> addr2line can convert back to a source line in the kernel.

Thanks, Ian. That does give me something to go on, at least. One thing that 
leaps out is "PC = 0000000c".

Chris

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users