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
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
