回复: Devel Digest, Vol 60, Issue 18
Hello Sel4 developer, Thanks for your support. Aditya and me are debugging physical memory sel4. Is there visual tool or analysis module or anything to debugging that physical memory to virtual mapping table. If you have any question, please let me know. BR, MK
Hello sel4 Developers. Thanks in advance. 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 a nice day! BR, MK ________________________________ 发件人: KIM MK 发送时间: 2019年5月27日 12:38 收件人: devel@sel4.systems 主题: 回复: Devel Digest, Vol 60, Issue 18 Hello Sel4 developer, Thanks for your support. Aditya and me are debugging physical memory sel4. Is there visual tool or analysis module or anything to debugging that physical memory to virtual mapping table. If you have any question, please let me know. BR, MK
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
participants (2)
-
G. Branden Robinson -
KIM MK