3 Jun
2019
3 Jun
'19
11:22 a.m.
At 2019-05-30T04:20:24+0000, KIM MK wrote:
I want to debug with gdb in x86-64, aarch64
Is there any highlight changed register tool or .gdbinit or anything in gdb?
If you know any gdb debugging easily in x86-64,aarch64, please let me know.
Have you checked out the official Debugging Guide? https://docs.sel4.systems/DebuggingGuide.html Let us know if this helps, or doesn't. Regards, Branden