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